rocq/base:rocq_bare

Languages & frameworks

Integration & delivery

Manifest digest

sha256:b324170e37b314c8c311f8a782bdcf13728dd361e0872ae621a10228e906b97e

OS/ARCH

linux/amd64

Compressed size

160.46 MB

Last pushed

6 days by justme06

Type

Image

Manifest digest

sha256:b324170e37b314c8c311f8a782bdcf13728dd361e0872ae621a10228e906b97e

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/ #646 B

10WORKDIR /home/rocq32 B

11USER rocq0 B

12ENV NJOBS=20 B

13ENV OPAMPRECISETRACKING=10 B

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

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

16LABEL [email protected]0 B

Command

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