erikmd/coq:8.7.1

Manifest digest

sha256:44084373c3da1a536f6735731f7b3d01c67f01b2c9388057771bcd11b5419cc2

OS/ARCH

linux/amd64

Compressed size

426.73 MB

Last pushed

about 8 years by erikmd

Type

Image

Manifest digest

sha256:44084373c3da1a536f6735731f7b3d01c67f01b2c9388057771bcd11b5419cc2

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.7.1+20 B

15|2 guest_gid=1000 guest_uid=1000 /bin/bash --login157.21 MB

Command

ADD file:370028dca6e8ca9ed228549d52231cf8139515cc3a14c00aaed75a60b679775f in /