rocq/base:rocq_5.0.0-flambda

Manifest digest

sha256:0dbd2c51c55e6f443d7b41c058cbacc1648b7dd6c9073bbc98dcf5a1a014405f

OS/ARCH

linux/amd64

Compressed size

419.61 MB

Last pushed

about 1 month by erikmd

Type

Image

Manifest digest

sha256:0dbd2c51c55e6f443d7b41c058cbacc1648b7dd6c9073bbc98dcf5a1a014405f

Image Layers

1# debian.sh --arch 'amd64' out/26.93 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.33 KB

9COPY travis.sh umask.sh /etc/profile.d/ #646 B

10WORKDIR /home/rocq32 B

11USER rocq0 B

12ENV NJOBS=20 B

13ENV OPAMPRECISETRACKING=10 B

14ARG COMPILER=5.0.0+flambda0 B

15ENV COMPILER=5.0.0+flambda0 B

16ARG COMPILER_PACKAGE=ocaml-variants.5.0.0+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.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=1000259.2 MB

25ENTRYPOINT ["opam" "exec" "--"]0 B

26CMD ["/bin/bash" "--login"]0 B

27LABEL [email protected]0 B

Command

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