eldesh/coq:8.7.2

Manifest digest

sha256:5929715ea7e499f061a7a05e822b024f7931e6756d51b80b5864dbb1c8d92eff

OS/ARCH

linux/amd64

Compressed size

1.81 GB

Last pushed

about 5 years by eldesh

Type

Image

Manifest digest

sha256:5929715ea7e499f061a7a05e822b024f7931e6756d51b80b5864dbb1c8d92eff

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.7.20 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.05.0 COQ_VER=8.7.2 OPAMJOBS=24.32 KB

28USER coq0 B

29WORKDIR /home/coq32 B

30ENV HOME=/home/coq0 B

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

32RUN |4 OCAML_VER=4.05.0 COQ_VER=8.7.2 OPAMJOBS=2532.11 MB

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

Command

ADD file:1ab357efe422cfed5e37af2dc60d07ccfd4bdee4d4a0c00838b5d68f19ff20c7 in /