erikmd/coq-base:4.09.1-flambda

Manifest digest

sha256:d1851d2fb2b90c73f26a3f64c16f54766abfe8add9dbfdf267ef1766436e461c

OS/ARCH

linux/amd64

Compressed size

298.57 MB

Last pushed

about 6 years by erikmd

Type

Image

Manifest digest

sha256:d1851d2fb2b90c73f26a3f64c16f54766abfe8add9dbfdf267ef1766436e461c

Image Layers

1ADD file ... in / 25.84 MB

2CMD ["bash"]0 B

3ARG OPAM_VERSION0 B

4ENV OPAM_VERSION=2.0.70 B

5/bin/sh -c cat /proc/cpuinfo /proc/meminfo;100.43 MB

6ARG guest_uid=10000 B

7ARG guest_gid=10000 B

8|2 guest_gid=1000 guest_uid=1000 /bin/sh -c3.39 KB

9COPY file:8f63eafba4b5c8c0d0f3ce1efd2f9879a7e3ce885931ff4504d4ae7328a5d8e1 in /etc/profile.d/ 600 B

10WORKDIR /home/coq0 B

11USER coq0 B

12ENV NJOBS=20 B

13ENV OPAMPRECISETRACKING=10 B

14ARG COMPILER0 B

15ENV COMPILER=4.09.1+flambda0 B

16ARG OCAMLFIND_VERSION0 B

17ENV OCAMLFIND_VERSION=1.8.10 B

18ARG DUNE_VERSION0 B

19ENV DUNE_VERSION=2.5.10 B

20ARG NUM_VERSION=00 B

21|3 NUM_VERSION=1.3 guest_gid=1000 guest_uid=1000 /bin/bash172.29 MB

22ENTRYPOINT ["opam" "exec" "--"]0 B

23CMD ["/bin/bash" "--login"]0 B

24LABEL [email protected]0 B

Command

ADD file:4d35f6c8bbbe6801cc5f44989730fb6d349a644ecb36eca481e7df25842d6321 in /