runtimeverificationinc/runtimeverification-iele-semantics:ubuntu-focal-5f1f8eac4874

Manifest digest

sha256:36564d5a34fa13664ec023cec6f102e264c27f9677b4535eb691723a8106a7b1

OS/ARCH

linux/amd64

Compressed size

878.4 MB

Last pushed

almost 5 years by rvdockerhub

Type

Image

Manifest digest

sha256:36564d5a34fa13664ec023cec6f102e264c27f9677b4535eb691723a8106a7b1

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:7ae374c84b0127b7ba06cd317a80ebd7830b54b5f9f607699d2ad8bdfcb0985b in /kframework_amd64_focal.deb 81.04 MB

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

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

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

11ARG DISTRO0 B

12COPY file:22b835c59b81705207d1f1c0ce1537091539a74ac09bda08b054362693038c3a in /kiele_amd64_focal.deb 12.25 MB

13|1 DISTRO=focal /bin/sh -c apt-get33.96 MB

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

Command

ADD file:5c3d9d2597e01d1cee8513ff0e1344e7791e6f582be2cbd1d5777dd204780f1c in /