eldesh/coq:8.13.2

Manifest digest

sha256:d978bfd6e2f4123655ca6b08f538b4966ae41af304ce40916d131cf173189d56

OS/ARCH

linux/amd64

Compressed size

2.03 GB

Last pushed

about 5 years by eldesh

Type

Image

Manifest digest

sha256:d978bfd6e2f4123655ca6b08f538b4966ae41af304ce40916d131cf173189d56

Image Layers

1ADD file ... in / 48.06 MB

2CMD ["bash"]0 B

3COPY file:029c1bde4618ea5c3c2018a06d83037366681ffc7e4a63bc6940d2e7818edf14 in /usr/bin/bwrap 86.13 KB

4COPY file:141de6283299066ca18f09f3b849eac1eeed49c1a5aa15dc471866dff116c337 in /usr/bin/opam 4.91 MB

5COPY file:b3db6a574b4b08d708a6e8e389aa8bc568dcee7e65840b05120c044000430b02 in /usr/bin/opam-installer 1.77 MB

6/bin/sh -c ln -fs /usr/share/zoneinfo/Europe/London135.76 MB

7USER opam0 B

8ENV HOME=/home/opam0 B

9WORKDIR /home/opam0 B

10/bin/sh -c mkdir .ssh &&87.54 MB

11ADD file ... in /Dockerfile 1.1 KB

12WORKDIR /home/opam/opam-repository0 B

13/bin/sh -c git pull origin1.02 GB

14ENTRYPOINT ["opam" "config" "exec"0 B

15/bin/sh -c opam install -y243.97 KB

16ENV OPAMYES=10 B

17CMD ["/bin/sh" "-c" "bash"]0 B

18ADD file ... in /Dockerfile 436 B

19ARG OCAML_VER=4.05.00 B

20ARG COQ_VER=8.13.20 B

21ARG OPAMVERBOSE=10 B

22LABEL name=coq version=3 description=A Docker0 B

23ENV DEBIAN_FRONTEND=noninteractive0 B

24USER root0 B

25WORKDIR /0 B

26RUN |3 OCAML_VER=4.05.0 COQ_VER=8.13.2 OPAMVERBOSE=14.33 KB

27USER coq0 B

28WORKDIR /home/coq32 B

29ENV HOME=/home/coq0 B

30COPY dot.ocamlinit /home/coq/.ocamlinit # buildkit264 B

31RUN |3 OCAML_VER=4.05.0 COQ_VER=8.13.2 OPAMVERBOSE=1763.43 MB

32CMD ["/bin/sh" "-c" "coqc --version"]0 B

Command

ADD file:1ab357efe422cfed5e37af2dc60d07ccfd4bdee4d4a0c00838b5d68f19ff20c7 in /