erikmd/coq-base:bare

Manifest digest

sha256:d1bc358aaaf52c8664bb011887145e1b9abc8520aede1f3f6f657c752fb3330d

OS/ARCH

linux/amd64

Compressed size

126.28 MB

Last pushed

about 6 years by erikmd

Type

Image

Manifest digest

sha256:d1bc358aaaf52c8664bb011887145e1b9abc8520aede1f3f6f657c752fb3330d

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/ 600 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

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

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

20LABEL [email protected]0 B

Command

ADD file:4d35f6c8bbbe6801cc5f44989730fb6d349a644ecb36eca481e7df25842d6321 in /