Sign inSign up

rocq/rocq-prover:9.3-ocaml-5.4-flambda

Security
Languages & frameworks
Integration & delivery
Manifest digest

sha256:422fe43e02a45cd88d0830bc49d79e43fa83f862f7d376cb487727d8a457f69f

OS/ARCH

linux/amd64

Compressed size

978.71 MB

Last pushed

4 days by justme06

Type

Image

Manifest digest

sha256:422fe43e02a45cd88d0830bc49d79e43fa83f862f7d376cb487727d8a457f69f

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/26.94 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.52 MB
6ARG guest_uid=10000 B
7ARG guest_gid=10000 B
8RUN |3 OPAM_VERSION=2.3.0 guest_uid=1000 guest_gid=10003.32 KB
9COPY travis.sh umask.sh /etc/profile.d/ #647 B
10WORKDIR /home/rocq32 B
11USER rocq0 B
12ENV NJOBS=20 B
13ENV OPAMPRECISETRACKING=10 B
14ARG COMPILER=5.4.1+flambda0 B
15ENV COMPILER=5.4.1+flambda0 B
16ARG COMPILER_PACKAGE=ocaml-variants.5.4.1+options,ocaml-option-flambda0 B
17ARG OCAMLFIND_VERSION=1.9.60 B
18ENV OCAMLFIND_VERSION=1.9.60 B
19ARG DUNE_VERSION=3.21.10 B
20ENV DUNE_VERSION=3.21.10 B
21ARG NUM_VERSION=1.60 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=1000191.45 MB
25ENTRYPOINT ["opam" "exec" "--"]0 B
26CMD ["/bin/bash" "--login"]0 B
27LABEL [email protected]0 B
28ARG ROCQ_EXTRA_OPAM=rocq-bignums0 B
29ENV ROCQ_EXTRA_OPAM=rocq-bignums0 B
30ARG ROCQ_VERSION=9.3.00 B
31ENV ROCQ_VERSION=9.3.00 B
32ARG ROCQ_STDLIB_VERSION=9.2.00 B
33ENV ROCQ_STDLIB_VERSION=9.2.00 B
34SHELL [/bin/bash --login -o pipefail0 B
35RUN |3 ROCQ_EXTRA_OPAM=rocq-bignums ROCQ_VERSION=9.3.0 ROCQ_STDLIB_VERSION=9.2.0626.81 MB
36ARG BUILD_DATE=2026-11-05T17:51:26Z0 B
37ARG VCS_REF=V9.3.00 B
38LABEL org.label-schema.build-date=2026-11-05T17:51:26Z org.label-schema.name=The Rocq Prover0 B

Command

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