Sign inSign up

erikmd/gitpod:coq-8.19_mathcomp-2.2.0_analysis-1.0.0

Manifest digest

sha256:e6c7685bfb993a4479f53ed6df9abc09495e9a1399ef2ee1fb2011ae5507a66e

OS/ARCH

linux/amd64

Compressed size

1.26 GB

Last pushed

over 2 years by erikmd

Type

Image

Manifest digest

sha256:e6c7685bfb993a4479f53ed6df9abc09495e9a1399ef2ee1fb2011ae5507a66e

Image Layers

Image Layers

1ADD file ... in / 29.97 MB
2CMD ["bash"]0 B
3ARG OPAM_VERSION0 B
4ENV OPAM_VERSION=2.1.30 B
5SHELL [/bin/bash --login -o pipefail0 B
6RUN |1 OPAM_VERSION=2.1.3 /bin/bash --login114.53 MB
7ARG guest_uid=10000 B
8ARG guest_gid=10000 B
9RUN |3 OPAM_VERSION=2.1.3 guest_uid=1000 guest_gid=10003.38 KB
10COPY travis.sh /etc/profile.d/ # buildkit599 B
11WORKDIR /home/coq32 B
12USER coq0 B
13ENV NJOBS=20 B
14ENV OPAMPRECISETRACKING=10 B
15ARG COMPILER0 B
16ENV COMPILER=4.13.1+flambda0 B
17ARG COMPILER_PACKAGE0 B
18ARG OCAMLFIND_VERSION0 B
19ENV OCAMLFIND_VERSION=1.9.60 B
20ARG DUNE_VERSION0 B
21ENV DUNE_VERSION=3.14.00 B
22ARG NUM_VERSION=00 B
23ARG ZARITH_VERSION0 B
24ENV ZARITH_VERSION=1.120 B
25RUN |9 OPAM_VERSION=2.1.3 guest_uid=1000 guest_gid=1000233.77 MB
26ENTRYPOINT ["opam" "exec" "--"]0 B
27CMD ["/bin/bash" "--login"]0 B
28LABEL [email protected]0 B
29ARG COQ_EXTRA_OPAM=coq-bignums0 B
30ENV COQ_EXTRA_OPAM=coq-bignums0 B
31ARG COQ_INSTALL_SERAPI0 B
32ARG COQ_VERSION=dev0 B
33ENV COQ_VERSION=8.19.00 B
34SHELL [/bin/bash --login -o pipefail0 B
35RUN |3 COQ_EXTRA_OPAM=coq-bignums COQ_INSTALL_SERAPI=true COQ_VERSION=8.19.0685.09 MB
36ARG BUILD_DATE0 B
37ARG VCS_REF0 B
38LABEL org.label-schema.build-date=2024-02-16T14:14:26Z org.label-schema.name=The Coq Proof0 B
39ARG MATHCOMP_VERSION=dev0 B
40ENV MATHCOMP_VERSION=2.2.00 B
41ENV MATHCOMP_PACKAGE=coq-mathcomp-character0 B
42SHELL [/bin/bash --login -o pipefail0 B
43RUN |1 MATHCOMP_VERSION=2.2.0 /bin/bash --login131.72 MB
44SHELL [/bin/sh -c]0 B
45/bin/bash --login92.34 MB
46RUN /bin/sh -c sudo useradd3.56 KB
47WORKDIR /home/gitpod32 B
48USER gitpod0 B
49ENTRYPOINT ["/usr/bin/docker_entrypoint.sh"]0 B
50CMD ["/bin/bash"]0 B
51ENV OPAMROOT=/home/coq/.opam0 B
52ENV LANG=en_US.UTF-80 B
53ENV LANGUAGE=en_US:en0 B

Command

ADD file:40ad95eaf61b2797e8d2282bc2388bce34c3c24ed78e694695a8c3dbcd3ddbbb in /