mathcomp/mathcomp-dev:rocq-prover-9.1

Manifest digest

sha256:5071cd82f74b9f83c350ee6eea9da1c5ae53744232adb62a16cc27e174688f7b

OS/ARCH

linux/amd64

Compressed size

2.36 GB

Last pushed

8 days by mathcompuser

Type

Image

Manifest digest

sha256:5071cd82f74b9f83c350ee6eea9da1c5ae53744232adb62a16cc27e174688f7b

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.49 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/ #645 B

10WORKDIR /home/rocq32 B

11USER rocq0 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=1000238.56 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.1.10 B

31ENV ROCQ_VERSION=9.1.10 B

32ARG ROCQ_STDLIB_VERSION=9.0.00 B

33ENV ROCQ_STDLIB_VERSION=9.0.00 B

34SHELL [/bin/bash --login -o pipefail0 B

35RUN |3 ROCQ_EXTRA_OPAM=rocq-bignums ROCQ_VERSION=9.1.1 ROCQ_STDLIB_VERSION=9.0.0605.57 MB

36ARG BUILD_DATE=2026-03-30T14:41:16Z0 B

37ARG VCS_REF=V9.1.10 B

38LABEL org.label-schema.build-date=2026-03-30T14:41:16Z org.label-schema.name=The Rocq Prover0 B

39ENV MATHCOMP_VERSION=dev0 B

40ENV MATHCOMP_PACKAGE=rocq-mathcomp-group-representation0 B

41WORKDIR /home/mathcomp124 B

42COPY . . # buildkit1.45 MB

43SHELL [/bin/bash --login -o pipefail0 B

44RUN /bin/bash --login -o pipefail1.37 GB

45SHELL [/bin/sh -c]0 B

Command

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