runtimeverificationinc/ocaml:ubuntu-bionic

Manifest digest

sha256:cdb6dc072777816beaa5b9f07d159c46ba52a6f2d660ea5da8585b5c1d0bf694

OS/ARCH

linux/amd64

Compressed size

548.12 MB

Last pushed

almost 7 years by rvdockerhub

Type

Image

Manifest digest

sha256:cdb6dc072777816beaa5b9f07d159c46ba52a6f2d660ea5da8585b5c1d0bf694

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&847 B

4/bin/sh -c mkdir -p /run/systemd162 B

5CMD ["/bin/bash"]0 B

6ARG OS=ubuntu0 B

7ARG FLAVOR=bionic0 B

8ARG TIMEZONE=America/Chicago0 B

9ARG LOCALE=en_US.UTF-80 B

10ARG USER_ID=10010 B

11ARG GROUP_ID=10010 B

12|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu190 B

13|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu24.2 MB

14|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu483.97 KB

15|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu4.42 KB

16|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

17|6 FLAVOR=bionic GROUP_ID=1001 LOCALE=en_US.UTF-8 OS=ubuntu0 B

18/bin/sh -c apt-get update -q260.94 MB

19USER user:user0 B

20COPY --chown=user:userdir:eb6b619e1218a9a73ba5990615817f622acd60456bdc8dfbf6498b18f159f0e4 in /home/user/opam-stuff 11.09 KB

21/bin/sh -c sh /home/user/opam-stuff/bin/k-configure-opam-dev237.01 MB

Command

ADD file:3ddd02d976792b6c6deed85bd3643cba43a7bce743c2a84d91336fc951e9a9ec in /