runtimeverificationinc/runtimeverification-evm-semantics:ubuntu-focal-2505179

Manifest digest

sha256:6234e123631722f17e2926bb0f2311ed77725e1bd3b5d180a36c8938b1b560f9

OS/ARCH

linux/amd64

Compressed size

746.46 MB

Last pushed

almost 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:6234e123631722f17e2926bb0f2311ed77725e1bd3b5d180a36c8938b1b560f9

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 -c191 B

6RUN |1 BASE_IMAGE=focal /bin/sh -c153.43 MB

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

8RUN |1 BASE_IMAGE=focal /bin/sh -c438.98 MB

9COPY kevm-pyk/ /kevm-pyk # buildkit26.4 KB

10RUN |1 BASE_IMAGE=focal /bin/sh -c1.88 MB

Command

ADD file:8faed18d471598732aa3816c8f70e227f16f4de5db6c5c32812a09141048f56d in /