runtimeverificationinc/runtimeverification-iele-semantics:ubuntu-bionic-818501f2912b

Manifest digest

sha256:8d0ee8189bffeced5d934541616c5a27127a7218a09943c11b78f7d7a789d01f

OS/ARCH

linux/amd64

Compressed size

863.34 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:8d0ee8189bffeced5d934541616c5a27127a7218a09943c11b78f7d7a789d01f

Image Layers

1ADD file ... in / 25.47 MB

2CMD ["bash"]0 B

3ENV TZ=America/Chicago0 B

4/bin/sh -c ln -snf /usr/share/zoneinfo/$TZ192 B

5/bin/sh -c apt-get update 123.48 MB

6/bin/sh -c git clone 'https://github.com/z3prover/z3'20.15 MB

7COPY file:95b1673fb814bb162f867ef96f9cf35629c7d737f5b9850e87a58f44ce7b53e7 in /kframework_amd64_bionic.deb 80.59 MB

8/bin/sh -c apt-get update 370.55 MB

9/bin/sh -c rm -rf /kframework_amd64_bionic.deb110 B

10/bin/sh -c apt-get update 157.4 MB

11ARG DISTRO0 B

12COPY file:9b8eec603e73e4bf54601f08910e8cd7c4ad2c22738524d6420dc7aeb1f84557 in /kiele_amd64_bionic.deb 12.2 MB

13|1 DISTRO=bionic /bin/sh -c apt-get25.06 MB

14|1 DISTRO=bionic /bin/sh -c if48.45 MB

Command

ADD file:7274ece1917848683250bbeda9eacf6eb7510481cbaa177880e3a60b4133e35b in /