runtimeverificationinc/runtimeverification-evm-semantics:ubuntu-focal-0539c0c

Manifest digest

sha256:de6cb56ec7c9d59eba9597d6f2059ac22ad73d2c37046101d9321cd74c0c66f9

OS/ARCH

linux/amd64

Compressed size

747.27 MB

Last pushed

over 3 years by rvdockerhub

Type

Image

Manifest digest

sha256:de6cb56ec7c9d59eba9597d6f2059ac22ad73d2c37046101d9321cd74c0c66f9

Image Layers

1ADD file ... in / 27.25 MB

2CMD ["bash"]0 B

3ARG BASE_IMAGE=focal0 B

4ENV TZ=America/Chicago0 B

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

6RUN |1 BASE_IMAGE=focal /bin/sh -c151.04 MB

7COPY kevm_amd64_focal.deb /kevm.deb # buildkit124.94 MB

8RUN |1 BASE_IMAGE=focal /bin/sh -c439 MB

9COPY kevm-pyk/ /kevm-pyk # buildkit28.52 KB

10RUN |1 BASE_IMAGE=focal /bin/sh -c5.01 MB

Command

ADD file:7633003155a1059419aa1a6756fafb6e4f419d65bff7feb7c945de1e29dccb1e in /