runtimeverificationinc/kframework-pyk:0.1.775

Manifest digest

sha256:4adf08ff697cc6a2fda84ccf41ddc4e8d3cd04cbad44707df420e039f51d3bbc

OS/ARCH

linux/amd64

Compressed size

1.1 GB

Last pushed

over 2 years by rvdockerhub

Type

Image

Manifest digest

sha256:4adf08ff697cc6a2fda84ccf41ddc4e8d3cd04cbad44707df420e039f51d3bbc

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 update108.45 MB

15COPY kframework_amd64_ubuntu_jammy.deb /kframework_amd64_ubuntu_jammy.deb # buildkit163.59 MB

16RUN /bin/sh -c apt-get update397.5 MB

17RUN /bin/sh -c rm -rf116 B

18ARG K_VERSION0 B

19ARG PYK_VERSION0 B

20RUN |2 K_VERSION=6.3.74 PYK_VERSION=0.1.775 /bin/sh4.23 KB

21RUN |2 K_VERSION=6.3.74 PYK_VERSION=0.1.775 /bin/sh9.65 MB

22USER k-user:k-group0 B

23WORKDIR /home/k-user32 B

24

ENV K_VERSION=6.3.74 PYK_VERSION=0.1.775 PATH=/home/k-user/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin force_color_prompt=yes

0 B

25COPY LICENSE.md Makefile README.md deps5.46 MB

26RUN |2 K_VERSION=6.3.74 PYK_VERSION=0.1.775 /bin/sh48.51 MB

27ENTRYPOINT ["fixuid" "-q"]0 B

28CMD ["/bin/sh" "-c" "printf \"%s\\n\"0 B

Command

 ARG RELEASE