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

Manifest digest

sha256:bee4555d009baf5f31a5ac06c4b80060bfb44aac949b7dadb280c0fec2983d51

OS/ARCH

linux/amd64

Compressed size

843.31 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:bee4555d009baf5f31a5ac06c4b80060bfb44aac949b7dadb280c0fec2983d51

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/$TZ193 B

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

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

7COPY file:43b94758b5b3051a7fa8b2959fc4fa998eed0462e4eed9af13cb69024402775c in /kframework_amd64_bionic.deb 81.45 MB

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

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

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

11ARG DISTRO0 B

12COPY file:9bb645d9fbbbe7df0c54ed4908d6fb41c38ec820e877ebf3bc75b6a9f6847eaa in /kiele_amd64_bionic.deb 12.21 MB

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

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

Command

ADD file:0d82cd095966e8ee78b593cb47a352eec842edb7bd9d9468e8a70154522447d1 in /