sha256:dd21cf36049cceae68157432041d6802cc96b24e2e5104012cea73215afd85f9
OS/ARCH
linux/amd64
Compressed size
2.35 GB
Last pushed
7 days by mathcompuser
Type
Image
Manifest digest
sha256:dd21cf36049cceae68157432041d6802cc96b24e2e5104012cea73215afd85f9
Image Layers
1# debian.sh --arch 'amd64' out/27.8 MB2ARG OPAM_VERSION=2.3.00 B3ENV OPAM_VERSION=2.3.00 B4SHELL [/bin/bash --login -o pipefail0 B5RUN |1 OPAM_VERSION=2.3.0 /bin/bash --login133.49 MB6ARG guest_uid=10000 B7ARG guest_gid=10000 B8RUN |3 OPAM_VERSION=2.3.0 guest_uid=1000 guest_gid=10003.32 KB9COPY travis.sh umask.sh /etc/profile.d/ #645 B10WORKDIR /home/rocq32 B11USER rocq0 B12ENV NJOBS=20 B13ENV OPAMPRECISETRACKING=10 B14ARG COMPILER=4.14.2+flambda0 B15ENV COMPILER=4.14.2+flambda0 B16ARG COMPILER_PACKAGE=ocaml-variants.4.14.2+options,ocaml-option-flambda0 B17ARG OCAMLFIND_VERSION=1.9.60 B18ENV OCAMLFIND_VERSION=1.9.60 B19ARG DUNE_VERSION=3.17.20 B20ENV DUNE_VERSION=3.17.20 B21ARG NUM_VERSION=1.5-10 B22ARG ZARITH_VERSION=1.140 B23ENV ZARITH_VERSION=1.140 B24RUN |9 OPAM_VERSION=2.3.0 guest_uid=1000 guest_gid=1000238.56 MB25ENTRYPOINT ["opam" "exec" "--"]0 B26CMD ["/bin/bash" "--login"]0 B28ARG ROCQ_EXTRA_OPAM=rocq-bignums0 B29ENV ROCQ_EXTRA_OPAM=rocq-bignums0 B30ARG ROCQ_VERSION=9.0.10 B31ENV ROCQ_VERSION=9.0.10 B32ARG ROCQ_STDLIB_VERSION=9.0.00 B33ENV ROCQ_STDLIB_VERSION=9.0.00 B34SHELL [/bin/bash --login -o pipefail0 B35RUN |3 ROCQ_EXTRA_OPAM=rocq-bignums ROCQ_VERSION=9.0.1 ROCQ_STDLIB_VERSION=9.0.0602.12 MB36ARG BUILD_DATE=2026-03-30T14:41:16Z0 B37ARG VCS_REF=V9.0.10 B38LABEL org.label-schema.build-date=2026-03-30T14:41:16Z org.label-schema.name=The Rocq Prover0 B39ENV MATHCOMP_VERSION=dev0 B40ENV MATHCOMP_PACKAGE=rocq-mathcomp-group-representation0 B41WORKDIR /home/mathcomp124 B42COPY . . # buildkit1.45 MB43SHELL [/bin/bash --login -o pipefail0 B44RUN /bin/bash --login -o pipefail1.37 GB45SHELL [/bin/sh -c]0 BCommand
# debian.sh --arch 'amd64' out/ 'bookworm' '@1773619200'