runtimeverificationinc/runtimeverification-iele-semantics:ubuntu-bionic-1357b9789d23

Manifest digest

sha256:2d1ff10ce301e4ab25ad031ece7fe48550009e6f77810fac21d3adce14f5c41d

OS/ARCH

linux/amd64

Compressed size

856.35 MB

Last pushed

almost 5 years by rvdockerhub

Type

Image

Manifest digest

sha256:2d1ff10ce301e4ab25ad031ece7fe48550009e6f77810fac21d3adce14f5c41d

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:f6a9ac8894b264f047755990e653f262ee4fddb5101c0f370350da25923ec5a8 in /kframework_amd64_bionic.deb 81.33 MB

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

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

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

11ARG DISTRO0 B

12COPY file:8e0aa729815e3276fe1f6c8007c666e73ddd0b1a51f8eefc21c666bfae85412a in /kiele_amd64_bionic.deb 11.89 MB

13|1 DISTRO=bionic /bin/sh -c apt-get26.55 MB

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

Command

ADD file:7274ece1917848683250bbeda9eacf6eb7510481cbaa177880e3a60b4133e35b in /