erikmd/coq-last-dual-switch:coq-8.15.1

Manifest digest

sha256:db599c915b1b767141dfccffaab73d497c938e954a6bbe1c07222fa9d0c35cdf

OS/ARCH

linux/amd64

Compressed size

1.39 GB

Last pushed

over 4 years by erikmd

Type

Image

Manifest digest

sha256:db599c915b1b767141dfccffaab73d497c938e954a6bbe1c07222fa9d0c35cdf

Image Layers

Image Layers

1ADD file ... in / 25.89 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.39 KB

10/bin/bash --login -o pipefail -c603 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|2 guest_gid=1000 guest_uid=1000 /bin/bash --login239.14 MB

26|2 guest_gid=1000 guest_uid=1000 /bin/bash --login188.53 MB

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/bin/bash --login -o pipefail -c0 B

36|1 COQ_INSTALL_SERAPI=true /bin/bash --login -o610.84 MB

37|1 COQ_INSTALL_SERAPI=true /bin/bash --login -o252.62 MB

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

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

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

Command

ADD file:59187422476c57db46e60f894a4cfd0f243e80230ef9ea75b2d8dd4925d59df3 in /