runtimeverificationinc/kframework-evm-semantics:ubuntu-focal-042133c

Manifest digest

sha256:932b871bcc5296d3f77fab2e6106e8c38a891430064ef5d1c09b6abd1b17e40a

OS/ARCH

linux/amd64

Compressed size

625.19 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:932b871bcc5296d3f77fab2e6106e8c38a891430064ef5d1c09b6abd1b17e40a

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.06 MB

7COPY kevm_amd64_focal.deb /kevm.deb # buildkit87.8 MB

8RUN |1 BASE_IMAGE=focal /bin/sh -c387.09 MB

Command

ADD file:5d68d27cc15a80653c93d3a0b262a28112d47a46326ff5fc2dfbf7fa3b9a0ce8 in /