runtimeverificationinc/runtimeverification-iele-semantics:ubuntu-focal-55d1ffb2c3c7

Manifest digest

sha256:7f92074816f674009dcd96c2edf2e7f6adaa5173b36ae478c075e9e374dfb9ad

OS/ARCH

linux/amd64

Compressed size

854.75 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:7f92074816f674009dcd96c2edf2e7f6adaa5173b36ae478c075e9e374dfb9ad

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 122.71 MB

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

7COPY file:ea42629b2d1a0f4594c75220e3bca8634c32a432ed3f5c0d6f34c60307742470 in /kframework_amd64_focal.deb 81.17 MB

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

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

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

11ARG DISTRO0 B

12COPY file:2353ae98cbed49503a7a879dac1e652b29624380aee0649f6fc8776559c7b803 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.71 MB

Command

ADD file:5d68d27cc15a80653c93d3a0b262a28112d47a46326ff5fc2dfbf7fa3b9a0ce8 in /