erikmd/coq:8.6.1

Manifest digest

sha256:ed48385ff965a232bcc351730fd9a431e9e64d063af8b20c8efd2e7e78483a7f

OS/ARCH

linux/amd64

Compressed size

429.03 MB

Last pushed

about 8 years by erikmd

Type

Image

Manifest digest

sha256:ed48385ff965a232bcc351730fd9a431e9e64d063af8b20c8efd2e7e78483a7f

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/ 621 B

9WORKDIR /home/coq0 B

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

11USER coq0 B

12ENV NJOBS=20 B

13ENV COMPILER=4.02.30 B

14ENV COQ_VERSION=8.6.10 B

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

Command

ADD file:370028dca6e8ca9ed228549d52231cf8139515cc3a14c00aaed75a60b679775f in /