Sign inSign up

runtimeverificationinc/kmir:ubuntu-jammy-0.4.226

Security
Developer tools
Index digest

sha256:5c1f7868d4d2b9a26b3ddab44036673c458b18c2615c0ae415ca6376b11f62fb

OS/ARCH

linux/amd64

Compressed size

1.85 GB

Last pushed

27 days by rvdockerhub

Type

Image

Manifest digest

sha256:5fa9f4a1ab6e843166031d94656f62b3ce8b8aa8829e6fe2db7b20abafa6e0b4

Image Layers

Image Layers

1ARG RELEASE0 B
2ARG LAUNCHPAD_BUILD_ARCH0 B
3LABEL org.opencontainers.image.ref.name=ubuntu0 B
4LABEL org.opencontainers.image.version=22.040 B
5ADD file ... in / 28.17 MB
6CMD ["/bin/bash"]0 B
7ENV TZ=America/Chicago0 B
8RUN /bin/sh -c ln -snf191 B
9RUN /bin/sh -c apt-get update347.4 MB
10ARG Z3_VERSION=4.12.10 B
11RUN |1 Z3_VERSION=4.12.1 /bin/sh -c21.06 MB
12ENV TZ=America/Chicago0 B
13RUN /bin/sh -c ln -snf192 B
14RUN /bin/sh -c apt-get update215.88 MB
15COPY kframework_amd64_ubuntu_jammy.deb /kframework_amd64_ubuntu_jammy.deb # buildkit172.86 MB
16RUN /bin/sh -c apt-get update410.8 MB
17ENV PIPX_HOME=/opt/pipx PIPX_BIN_DIR=/usr/local/bin0 B
18COPY kframework-*.whl ./ # buildkit289.25 KB
19RUN /bin/sh -c pipx install31.84 MB
20ARG K_VERSION=7.1.3370 B
21RUN |1 K_VERSION=7.1.337 /bin/sh -c4.31 KB
22RUN |1 K_VERSION=7.1.337 /bin/sh -c9.53 MB
23COPY kmir /kmir # buildkit2.87 MB
24COPY deps/stable-mir-json /deps/stable-mir-json # buildkit307.38 KB
25RUN |1 K_VERSION=7.1.337 /bin/sh -c307.58 KB
26USER kmir:kmir0 B
27WORKDIR /home/kmir32 B
28ENV K_VERSION=7.1.337 PATH=/home/kmir/.local/bin:/home/kmir/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin force_color_prompt=yes RUSTUP_HOME=/rustup0 B
29RUN |1 K_VERSION=7.1.337 /bin/sh -c1.97 KB
30RUN |1 K_VERSION=7.1.337 /bin/sh -c7.77 MB
31RUN |1 K_VERSION=7.1.337 /bin/sh -c54.39 MB
32RUN |1 K_VERSION=7.1.337 /bin/sh -c588.24 MB
33RUN |1 K_VERSION=7.1.337 /bin/sh -c235 B
34ENTRYPOINT ["fixuid" "-q"]0 B
35CMD ["printf" "%s\n" "Welcome to0 B

Command

 ARG RELEASE