runtimeverificationinc/z3:debian-bookworm-4.13.4

Manifest digest

sha256:67887323a6aee6444bebc460261ab8748c9b437bd70fbf392795b93f8af32657

OS/ARCH

linux/amd64

Compressed size

457.41 MB

Last pushed

over 1 year by rvdockerhub

Type

Image

Manifest digest

sha256:67887323a6aee6444bebc460261ab8748c9b437bd70fbf392795b93f8af32657

Image Layers

1# debian.sh --arch 'amd64' out/46.25 MB

2ENV TZ=America/Chicago0 B

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

4RUN /bin/sh -c apt-get update388.7 MB

5ARG Z3_VERSION=4.12.10 B

6RUN |1 Z3_VERSION=4.13.4 /bin/sh -c22.47 MB

Command

# debian.sh --arch 'amd64' out/ 'bookworm' '@1734912000'