runtimeverificationinc/kframework-k:ubuntu-noble-7.1.337

Manifest digest

sha256:eaa1908aca723f5cb6de965e9b1ce1b4b4ae5e1f7aeb5451ec92a7aff5ad9d19

OS/ARCH

linux/amd64

Compressed size

1.23 GB

Last pushed

about 1 month by rvdockerhub

Type

Image

Manifest digest

sha256:eaa1908aca723f5cb6de965e9b1ce1b4b4ae5e1f7aeb5451ec92a7aff5ad9d19

Image Layers

1ARG RELEASE0 B

2ARG LAUNCHPAD_BUILD_ARCH0 B

3LABEL org.opencontainers.image.ref.name=ubuntu0 B

4LABEL org.opencontainers.image.version=24.040 B

5ADD file ... in / 28.37 MB

6CMD ["/bin/bash"]0 B

7ENV TZ=America/Chicago0 B

8RUN /bin/sh -c ln -snf191 B

9RUN /bin/sh -c apt-get update404.27 MB

10ARG Z3_VERSION=4.12.10 B

11RUN |1 Z3_VERSION=4.13.4 /bin/sh -c22.1 MB

12ENV TZ=America/Chicago0 B

13RUN /bin/sh -c ln -snf191 B

14RUN /bin/sh -c apt-get update185.74 MB

15COPY kframework_amd64_ubuntu_noble.deb /kframework_amd64_ubuntu_noble.deb # buildkit172.57 MB

16RUN /bin/sh -c apt-get update413.84 MB

17ENV PIPX_HOME=/opt/pipx PIPX_BIN_DIR=/usr/local/bin0 B

18COPY kframework-*.whl ./ # buildkit289.25 KB

19RUN /bin/sh -c pipx install33.93 MB

Command

 ARG RELEASE