runtimeverificationinc/kframework-evm-semantics:ubuntu-focal-3264679

Manifest digest

sha256:d16979e5d6a33a5a349bf03a12b1f87556d9a32eee9043ecc9b836bb1e2b9f3b

OS/ARCH

linux/amd64

Compressed size

625.76 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:d16979e5d6a33a5a349bf03a12b1f87556d9a32eee9043ecc9b836bb1e2b9f3b

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

6RUN |1 BASE_IMAGE=focal /bin/sh -c126.56 MB

7COPY kevm_amd64_focal.deb /kevm.deb # buildkit89 MB

8RUN |1 BASE_IMAGE=focal /bin/sh -c382.96 MB

Command

ADD file:3ccf747d646089ed7fbb43c40c45dd43e86f0674115f856efada93c7e4a63624 in /