erikmd/coq-base:latest

Manifest digest

sha256:6ecdcae687c903969877f0c0cfc91240302072db1fe906298ddaab445d3cdf88

OS/ARCH

linux/amd64

Compressed size

450.75 MB

Last pushed

about 6 years by erikmd

Type

Image

Manifest digest

sha256:6ecdcae687c903969877f0c0cfc91240302072db1fe906298ddaab445d3cdf88

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.38 KB

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

10WORKDIR /home/coq0 B

11USER coq0 B

12ENV NJOBS=20 B

13ENV OPAMPRECISETRACKING=10 B

14ARG COMPILER0 B

15ENV COMPILER=4.05.00 B

16ARG COMPILER_EDGE0 B

17ENV COMPILER_EDGE=4.07.1+flambda0 B

18ARG OCAMLFIND_VERSION0 B

19ENV OCAMLFIND_VERSION=1.8.10 B

20ARG DUNE_VERSION0 B

21ENV DUNE_VERSION=2.5.10 B

22|2 guest_gid=1000 guest_uid=1000 /bin/bash --login136.73 MB

23|2 guest_gid=1000 guest_uid=1000 /bin/bash --login187.74 MB

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

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

26LABEL [email protected]0 B

Command

ADD file:4d35f6c8bbbe6801cc5f44989730fb6d349a644ecb36eca481e7df25842d6321 in /