runtimeverificationinc/z3:4.6.0-llvm-8-ubuntu-bionic

Manifest digest

sha256:3b94c20d07101d1dc02c263b1404b1d26db855868d8df2e46d319b18fa9132da

OS/ARCH

linux/amd64

Compressed size

305.09 MB

Last pushed

almost 7 years by rvdockerhub

Type

Image

Manifest digest

sha256:3b94c20d07101d1dc02c263b1404b1d26db855868d8df2e46d319b18fa9132da

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&847 B

4/bin/sh -c mkdir -p /run/systemd162 B

5CMD ["/bin/bash"]0 B

6ARG OS=ubuntu0 B

7ARG FLAVOR=bionic0 B

8ARG TIMEZONE=America/Chicago0 B

9ARG LOCALE=en_US.UTF-80 B

10ARG USER_ID=10010 B

11ARG GROUP_ID=10010 B

12|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu190 B

13|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu24.2 MB

14|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu483.97 KB

15|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu4.42 KB

16|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

17|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

18ARG OS=ubuntu0 B

19ARG FLAVOR=bionic0 B

20ARG LLVM_VERSION=80 B

21ARG Z3_VERSION=4.6.00 B

22|4 FLAVOR=bionic LLVM_VERSION=8 OS=ubuntu Z3_VERSION=4.6.0164.1 MB

23|4 FLAVOR=bionic LLVM_VERSION=8 OS=ubuntu Z3_VERSION=4.6.044.72 MB

24|4 FLAVOR=bionic LLVM_VERSION=8 OS=ubuntu Z3_VERSION=4.6.0578.9 KB

25|4 FLAVOR=bionic LLVM_VERSION=8 OS=ubuntu Z3_VERSION=4.6.045.54 MB

Command

ADD file:3ddd02d976792b6c6deed85bd3643cba43a7bce743c2a84d91336fc951e9a9ec in /