runtimeverificationinc/z3:ubuntu-noble-4.13.4

Manifest digest

sha256:09d7e28d935e467b6cf0e69d2ba97c1f1e2a6e2a2c10536f1e1acc5c410b5971

OS/ARCH

linux/amd64

Compressed size

454.75 MB

Last pushed

over 1 year by rvdockerhub

Type

Image

Manifest digest

sha256:09d7e28d935e467b6cf0e69d2ba97c1f1e2a6e2a2c10536f1e1acc5c410b5971

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

Command

 ARG RELEASE