erikmd/coq-new-mono-switch:coq-8.15.2

Manifest digest

sha256:ea32accfcc73a0a1658adeab33d9a25b6a98df89e6079ade110b411bd43aefe1

OS/ARCH

linux/amd64

Compressed size

979.14 MB

Last pushed

over 4 years by erikmd

Type

Image

Manifest digest

sha256:ea32accfcc73a0a1658adeab33d9a25b6a98df89e6079ade110b411bd43aefe1

Image Layers

Image Layers

1ADD file ... in / 25.88 MB

2CMD ["bash"]0 B

3ARG OPAM_VERSION0 B

4ENV OPAM_VERSION=2.1.20 B

5/bin/bash --login -o pipefail -c0 B

6/bin/bash --login -o pipefail -c101.35 MB

7/bin/bash --login -o pipefail -c0 B

8/bin/bash --login -o pipefail -c0 B

9|2 guest_gid=1000 guest_uid=1000 /bin/bash --login3.38 KB

10/bin/bash --login -o pipefail -c599 B

11/bin/bash --login -o pipefail -c0 B

12/bin/bash --login -o pipefail -c0 B

13/bin/bash --login -o pipefail -c0 B

14/bin/bash --login -o pipefail -c0 B

15/bin/bash --login -o pipefail -c0 B

16/bin/bash --login -o pipefail -c0 B

17/bin/bash --login -o pipefail -c0 B

18/bin/bash --login -o pipefail -c0 B

19/bin/bash --login -o pipefail -c0 B

20/bin/bash --login -o pipefail -c0 B

21/bin/bash --login -o pipefail -c0 B

22/bin/bash --login -o pipefail -c0 B

23/bin/bash --login -o pipefail -c0 B

24/bin/bash --login -o pipefail -c0 B

25|3 NUM_VERSION=1.4 guest_gid=1000 guest_uid=1000 /bin/bash240.72 MB

26/bin/bash --login -o pipefail -c0 B

27/bin/bash --login -o pipefail -c0 B

28/bin/bash --login -o pipefail -c0 B

29/bin/bash --login -o pipefail -c0 B

30/bin/bash --login -o pipefail -c0 B

31/bin/bash --login -o pipefail -c0 B

32/bin/bash --login -o pipefail -c0 B

33/bin/bash --login -o pipefail -c0 B

34/bin/bash --login -o pipefail -c0 B

35|1 COQ_INSTALL_SERAPI=4.07.1-flambda /bin/bash --login -o611.19 MB

36/bin/bash --login -o pipefail -c0 B

37/bin/bash --login -o pipefail -c0 B

38/bin/bash --login -o pipefail -c0 B

Command

ADD file:0513eda9512e010cb9459591b62e0c9d9319750923df091b64250ad6e98c2878 in /