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

Manifest digest

sha256:70986f412d0a9980b90cf4de3baec55bd614eab0eed2e9a56dd84584efa3d368

OS/ARCH

linux/amd64

Compressed size

876.52 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:70986f412d0a9980b90cf4de3baec55bd614eab0eed2e9a56dd84584efa3d368

Image Layers

1ADD file ... in / 27.24 MB

2CMD ["bash"]0 B

3ENV TZ=America/Chicago0 B

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

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

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

7COPY file:318b0c084773428bedae63f8a10ae4fa919fdc522a2f061484cb6a06035d603e in /kframework_amd64_focal.deb 80.29 MB

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

9/bin/sh -c rm -rf /kframework_amd64_focal.deb109 B

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

11ARG DISTRO0 B

12COPY file:1d7d5f5f27136ac0183e346325ff8f18ba0e17b98f5eb66b0c83d22948ebee69 in /kiele_amd64_focal.deb 12.31 MB

13|1 DISTRO=focal /bin/sh -c apt-get26.03 MB

14|1 DISTRO=focal /bin/sh -c if33.57 MB

Command

ADD file:5c3d9d2597e01d1cee8513ff0e1344e7791e6f582be2cbd1d5777dd204780f1c in /