runtimeverificationinc/kframework-evm-semantics:ubuntu-focal-2d2ddbd

Manifest digest

sha256:4c5a0cff82313fd2f4c26006d76600d8e6d5c138682d82951d7c7f6d970b3863

OS/ARCH

linux/amd64

Compressed size

630.21 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:4c5a0cff82313fd2f4c26006d76600d8e6d5c138682d82951d7c7f6d970b3863

Image Layers

1ADD file ... in / 27.24 MB

2CMD ["bash"]0 B

3ARG BASE_IMAGE=focal0 B

4ENV TZ=America/Chicago0 B

5RUN |1 BASE_IMAGE=focal /bin/sh -c191 B

6RUN |1 BASE_IMAGE=focal /bin/sh -c123.9 MB

7COPY kevm_amd64_focal.deb /kevm.deb # buildkit88.37 MB

8RUN |1 BASE_IMAGE=focal /bin/sh -c390.7 MB

Command

ADD file:122ad323412c2e70b3138d8eb62648c4692989de91be1ffb6b4bf086c8311b62 in /