Sign inSign up

runtimeverificationinc/kontrol:ubuntu-jammy-1.0.243

Security
Developer tools
Manifest digest

sha256:951ddca3710f4beb67d3aa9606dcd3becfd3e4de5f72ef08f0fddec0ec0c88e2

OS/ARCH

linux/amd64

Compressed size

1.92 GB

Last pushed

about 2 months by rvdockerhub

Type

Image

Manifest digest

sha256:951ddca3710f4beb67d3aa9606dcd3becfd3e4de5f72ef08f0fddec0ec0c88e2

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.57 MB
15COPY kframework_amd64_ubuntu_jammy.deb /kframework_amd64_ubuntu_jammy.deb # buildkit172.6 MB
16RUN /bin/sh -c apt-get update410.33 MB
17ENV PIPX_HOME=/opt/pipx PIPX_BIN_DIR=/usr/local/bin0 B
18COPY kframework-*.whl ./ # buildkit283.77 KB
19RUN /bin/sh -c pipx install31.81 MB
20ARG PYTHON_VERSION=3.100 B
21COPY /usr/bin/z3 /usr/bin/z3 # buildkit11.17 MB
22RUN |1 PYTHON_VERSION=3.10 /bin/sh -c33.35 MB
23ARG USER_ID=10100 B
24ARG GROUP_ID=10100 B
25RUN |3 PYTHON_VERSION=3.10 USER_ID=1010 GROUP_ID=10104.28 KB
26USER user0 B
27WORKDIR /home/user32 B
28ARG FOUNDRY_VERSION=v1.5.10 B
29ENV PATH=/home/user/.foundry/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
30RUN |4 PYTHON_VERSION=3.10 USER_ID=1010 GROUP_ID=1010155.33 MB
31ADD . kontrol # buildkit605.73 KB
32USER root0 B
33RUN |4 PYTHON_VERSION=3.10 USER_ID=1010 GROUP_ID=1010606.05 KB
34USER user0 B
35ENV PATH=/home/user/.local/bin:/home/user/.foundry/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
36RUN |4 PYTHON_VERSION=3.10 USER_ID=1010 GROUP_ID=101076.53 MB
37RUN |4 PYTHON_VERSION=3.10 USER_ID=1010 GROUP_ID=1010463.75 MB

Command

 ARG RELEASE