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

Manifest digest

sha256:37f3aec50b5343de52301d23981c694b2625850c005f1041a76805c20331c1a3

OS/ARCH

linux/amd64

Compressed size

627.16 MB

Last pushed

over 4 years by rvdockerhub

Type

Image

Manifest digest

sha256:37f3aec50b5343de52301d23981c694b2625850c005f1041a76805c20331c1a3

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 -c128.14 MB

7COPY kevm_amd64_focal.deb /kevm.deb # buildkit88.89 MB

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

Command

ADD file:8a50ad78a668527e974b05a3dfbfd64760de3cb643ceb8a8805d21f6ceab3389 in /