erikmd/coq:8.7.0

Manifest digest

sha256:dd1ec6919a8090eef2077f3563d4d0fcd92e63cd7feada1a19cd56dc003098b0

OS/ARCH

linux/amd64

Compressed size

423.34 MB

Last pushed

about 8 years by erikmd

Type

Image

Manifest digest

sha256:dd1ec6919a8090eef2077f3563d4d0fcd92e63cd7feada1a19cd56dc003098b0

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

8COPY file:7918721af6e622ddf36bb6a2115f708987d751f3b67ad583389fa1e52a3a43b1 in /etc/profile.d/ 624 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.00 B

15|2 guest_gid=1000 guest_uid=1000 /bin/bash --login153.82 MB

Command

ADD file:370028dca6e8ca9ed228549d52231cf8139515cc3a14c00aaed75a60b679775f in /