runtimeverificationinc/z3:debian-bookworm-4.12.1

Manifest digest

sha256:c154098d0f57b4538c1237fef64336f169ee36049cee68551db37abdbd6b4c3a

OS/ARCH

linux/amd64

Compressed size

456.37 MB

Last pushed

almost 3 years by rvdockerhub

Type

Image

Manifest digest

sha256:c154098d0f57b4538c1237fef64336f169ee36049cee68551db37abdbd6b4c3a

Image Layers

1ADD file ... in / 47.29 MB

2CMD ["bash"]0 B

3ENV TZ=America/Chicago0 B

4RUN /bin/sh -c ln -snf190 B

5RUN /bin/sh -c apt-get update387.96 MB

6ARG Z3_VERSION=4.12.10 B

7RUN |1 Z3_VERSION=4.12.1 /bin/sh -c21.13 MB

Command

ADD file:1e4dd5dab602337b5d5ef8d84b8dbe8b1ac62225f077b29b27d045842486d8e2 in /