Sign inSign up

mathcomp/mathcomp-dev:coq-8.20

Languages & frameworks
Integration & delivery
Manifest digest

sha256:130f9f2efaa6e9ae2e82a9c7ea77235bde7fb8d44c99ac523510f54c7d0a1152

OS/ARCH

linux/amd64

Compressed size

2.22 GB

Last pushed

11 months by mathcompuser

Type

Image

Manifest digest

sha256:130f9f2efaa6e9ae2e82a9c7ea77235bde7fb8d44c99ac523510f54c7d0a1152

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/27.8 MB
2ARG OPAM_VERSION=2.3.00 B
3ENV OPAM_VERSION=2.3.00 B
4SHELL [/bin/bash --login -o pipefail0 B
5RUN |1 OPAM_VERSION=2.3.0 /bin/bash --login133.48 MB
6ARG guest_uid=10000 B
7ARG guest_gid=10000 B
8RUN |3 OPAM_VERSION=2.3.0 guest_uid=1000 guest_gid=10003.31 KB
9COPY travis.sh umask.sh /etc/profile.d/ #646 B
10WORKDIR /home/coq32 B
11USER coq0 B
12ENV NJOBS=20 B
13ENV OPAMPRECISETRACKING=10 B
14ARG COMPILER=4.14.2+flambda0 B
15ENV COMPILER=4.14.2+flambda0 B
16ARG COMPILER_PACKAGE=ocaml-variants.4.14.2+options,ocaml-option-flambda0 B
17ARG OCAMLFIND_VERSION=1.9.60 B
18ENV OCAMLFIND_VERSION=1.9.60 B
19ARG DUNE_VERSION=3.17.20 B
20ENV DUNE_VERSION=3.17.20 B
21ARG NUM_VERSION=1.5-10 B
22ARG ZARITH_VERSION=1.140 B
23ENV ZARITH_VERSION=1.140 B
24RUN |9 OPAM_VERSION=2.3.0 guest_uid=1000 guest_gid=1000237.99 MB
25ENTRYPOINT ["opam" "exec" "--"]0 B
26CMD ["/bin/bash" "--login"]0 B
27LABEL [email protected]0 B
28ARG COQ_CORE_PINNED=true0 B
29ARG COQ_EXTRA_OPAM=coq-bignums0 B
30ENV COQ_EXTRA_OPAM=coq-bignums0 B
31ARG COQ_INSTALL_SERAPI=4.14.2-flambda0 B
32ARG COQ_VERSION=8.20.10 B
33ENV COQ_VERSION=8.20.10 B
34SHELL [/bin/bash --login -o pipefail0 B
35RUN |4 COQ_CORE_PINNED=true COQ_EXTRA_OPAM=coq-bignums COQ_INSTALL_SERAPI=4.14.2-flambda914.16 MB
36ARG BUILD_DATE=2025-08-16T18:51:14Z0 B
37ARG VCS_REF=V8.20.10 B
38LABEL org.label-schema.build-date=2025-08-16T18:51:14Z org.label-schema.name=The Coq Proof0 B
39ENV MATHCOMP_VERSION=dev0 B
40ENV MATHCOMP_PACKAGE=coq-mathcomp-character0 B
41WORKDIR /home/mathcomp124 B
42COPY . . # buildkit1.37 MB
43SHELL [/bin/bash --login -o pipefail0 B
44RUN /bin/bash --login -o pipefail962.86 MB
45SHELL [/bin/sh -c]0 B

Command

# debian.sh --arch 'amd64' out/ 'bookworm' '@1754870400'