eldesh/coq:8.4pl5

Manifest digest

sha256:be7ad37d9d91d11244e589aedf5cf7952858db3f550af957229ff3054ff0d2db

OS/ARCH

linux/amd64

Compressed size

1.7 GB

Last pushed

about 5 years by eldesh

Type

Image

Manifest digest

sha256:be7ad37d9d91d11244e589aedf5cf7952858db3f550af957229ff3054ff0d2db

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.02.30 B

20ARG COQ_VER=8.4.50 B

21ARG OPAMJOBS=20 B

22ARG OPAMVERBOSE=10 B

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

24ENV DEBIAN_FRONTEND=noninteractive0 B

25USER root0 B

26WORKDIR /0 B

27RUN |4 OCAML_VER=4.02.3 COQ_VER=8.4.5 OPAMJOBS=24.32 KB

28USER coq0 B

29WORKDIR /home/coq32 B

30ENV HOME=/home/coq0 B

31COPY dot.ocamlinit /home/coq/.ocamlinit # buildkit261 B

32RUN |4 OCAML_VER=4.02.3 COQ_VER=8.4.5 OPAMJOBS=2419.41 MB

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

Command

ADD file:1ab357efe422cfed5e37af2dc60d07ccfd4bdee4d4a0c00838b5d68f19ff20c7 in /