erikmd/coq:8.8.1_mathcomp-1.7.0

Manifest digest

sha256:f37184f7faaff33f53568c1b6ded22357cf53e912bb58b7779d1ecb730bf134d

OS/ARCH

linux/amd64

Compressed size

515.82 MB

Last pushed

about 8 years by erikmd

Type

Image

Manifest digest

sha256:f37184f7faaff33f53568c1b6ded22357cf53e912bb58b7779d1ecb730bf134d

Image Layers

1ADD file ... in / 43.21 MB

2CMD ["bash"]0 B

3LABEL [email protected]0 B

4/bin/sh -c apt-get update 226.31 MB

5ARG guest_uid=10000 B

6ARG guest_gid=10000 B

7|2 guest_gid=1000 guest_uid=1000 /bin/sh -c3.3 KB

8COPY file:7918721af6e622ddf36bb6a2115f708987d751f3b67ad583389fa1e52a3a43b1 in /etc/profile.d/ 625 B

9WORKDIR /home/coq0 B

10|2 guest_gid=1000 guest_uid=1000 /bin/sh -c170 B

11USER coq0 B

12ENV NJOBS=20 B

13ENV COMPILER=4.02.30 B

14ENV COQ_VERSION=8.8.10 B

15|2 guest_gid=1000 guest_uid=1000 /bin/bash --login159.04 MB

16LABEL [email protected]0 B

17ENV MATHCOMP_VERSION=1.7.00 B

18/bin/bash --login -c set -x87.26 MB

Command

ADD file:370028dca6e8ca9ed228549d52231cf8139515cc3a14c00aaed75a60b679775f in /