erikmd/coq:8.8.1

Manifest digest

sha256:3c557506d4015d7a62b49f4be84881f9a7e8ab5f92ad43e51e301fd4fab919e3

OS/ARCH

linux/amd64

Compressed size

428.57 MB

Last pushed

about 8 years by erikmd

Type

Image

Manifest digest

sha256:3c557506d4015d7a62b49f4be84881f9a7e8ab5f92ad43e51e301fd4fab919e3

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

Command

ADD file:370028dca6e8ca9ed228549d52231cf8139515cc3a14c00aaed75a60b679775f in /