runtimeverificationinc/runtimeverification-evm-semantics:ubuntu-focal-74ff974

Manifest digest

sha256:cc1d3f42a4d901a44d1829bfd2ea72e3cb0a8dbe3b8611c09c6b2e63c8987d89

OS/ARCH

linux/amd64

Compressed size

728.47 MB

Last pushed

almost 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:cc1d3f42a4d901a44d1829bfd2ea72e3cb0a8dbe3b8611c09c6b2e63c8987d89

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 -c150.38 MB

7COPY kevm_amd64_focal.deb /kevm.deb # buildkit118.32 MB

8RUN |1 BASE_IMAGE=focal /bin/sh -c431.67 MB

9COPY kevm-pyk/ /kevm-pyk # buildkit23.39 KB

10RUN |1 BASE_IMAGE=focal /bin/sh -c847.39 KB

Command

ADD file:ff6963f777661fb16cc12fb04a97c558bd94768a6e4ab5bd90e01f3086818853 in /