Sign inSign up

runtimeverificationinc/imp-semantics:bob24

Manifest digest

sha256:a0cc6eeca8286ba1974d283c74b98a9954888360e73546e77348ff153208c97a

OS/ARCH

linux/amd64

Compressed size

1.22 GB

Last pushed

over 2 years by runtimedevops

Type

Image

Manifest digest

sha256:a0cc6eeca8286ba1974d283c74b98a9954888360e73546e77348ff153208c97a

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 update105.22 MB
15COPY kframework_amd64_ubuntu_jammy.deb /kframework_amd64_ubuntu_jammy.deb # buildkit163.38 MB
16RUN /bin/sh -c apt-get update391.31 MB
17RUN /bin/sh -c rm -rf116 B
18ARG K_VERSION0 B
19ARG PYK_VERSION0 B
20RUN |2 K_VERSION=6.3.25 PYK_VERSION=0.1.679 /bin/sh4.22 KB
21RUN |2 K_VERSION=6.3.25 PYK_VERSION=0.1.679 /bin/sh9.65 MB
22USER k-user:k-group0 B
23WORKDIR /home/k-user32 B
24ENV K_VERSION=6.3.25 PYK_VERSION=0.1.679 PATH=/home/k-user/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin force_color_prompt=yes0 B
25RUN |2 K_VERSION=6.3.25 PYK_VERSION=0.1.679 /bin/sh54.19 MB
26COPY ./kimp /home/k-user/kimp-src # buildkit26.47 MB
27RUN |2 K_VERSION=6.3.25 PYK_VERSION=0.1.679 /bin/sh102.69 MB
28ENV KIMP_LLVM_DIR=/home/k-user/kimp-src/kdist/v6.3.25/llvm KIMP_HASKELL_DIR=/home/k-user/kimp-src/kdist/v6.3.25/haskell KIMP_K_SRC=/home/k-user/kimp-src/k-src0 B
29ENTRYPOINT ["fixuid" "-q"]0 B
30CMD ["/bin/sh" "-c" "printf \"%s\\n\"0 B

Command

 ARG RELEASE