runtimeverificationinc/z3:debian-bookworm-4.13.0

Manifest digest

sha256:3d891a9bf2dd7e4ede70d1408c441ef35f1987a54c57277572218dedd0be857a

OS/ARCH

linux/amd64

Compressed size

457.04 MB

Last pushed

almost 2 years by rvdockerhub

Type

Image

Manifest digest

sha256:3d891a9bf2dd7e4ede70d1408c441ef35f1987a54c57277572218dedd0be857a

Image Layers

1ADD file ... in / 47.26 MB

2CMD ["bash"]0 B

3ENV TZ=America/Chicago0 B

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

5RUN /bin/sh -c apt-get update388.28 MB

6ARG Z3_VERSION=4.12.10 B

7RUN |1 Z3_VERSION=4.13.0 /bin/sh -c21.49 MB

Command

ADD file:0d5bdf84bbcdfa95d42190537e3cad2c0a5876f9127fae6a1d1c485d3539c77d in /