runtimeverificationinc/kframework:debian-buster

Manifest digest

sha256:fcd6d2d21c88098e3d19825a05312bc09caf6010dcda20f34fa0954d92b2937e

OS/ARCH

linux/amd64

Compressed size

912.68 MB

Last pushed

almost 7 years by rvdockerhub

Type

Image

Manifest digest

sha256:fcd6d2d21c88098e3d19825a05312bc09caf6010dcda20f34fa0954d92b2937e

Image Layers

1ADD file ... in / 48.05 MB

2CMD ["bash"]0 B

3ARG OS=ubuntu0 B

4ARG FLAVOR=bionic0 B

5ARG TIMEZONE=America/Chicago0 B

6ARG LOCALE=en_US.UTF-80 B

7ARG USER_ID=10010 B

8ARG GROUP_ID=10010 B

9|6 FLAVOR=buster GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=debian190 B

10|6 FLAVOR=buster GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=debian20.57 MB

11|6 FLAVOR=buster GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=debian1.83 MB

12|6 FLAVOR=buster GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=debian4.09 KB

13|6 FLAVOR=buster GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=debian15.47 MB

14|6 FLAVOR=buster GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=debian2.51 KB

15|6 FLAVOR=buster GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=debian0 B

16/bin/sh -c apt-get update 826.76 MB

Command

ADD file:2cddee716e84c40540a69c48051bd2dcf6cd3bd02a3e399334e97f20a77126ff in /