runtimeverificationinc/ubuntu-jammy-z3:4.12.1

Manifest digest

sha256:812bcd2be7f9ed93815b19f834d169ddb7c8f4a4d9f22f41d4763a92d9ba2678

OS/ARCH

linux/amd64

Compressed size

396.63 MB

Last pushed

almost 3 years by rvdockerhub

Type

Image

Manifest digest

sha256:812bcd2be7f9ed93815b19f834d169ddb7c8f4a4d9f22f41d4763a92d9ba2678

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 -snf192 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

Command

 ARG RELEASE