Sign inSign up

kevinaangstadt/cgen:f24

Index digest

sha256:73dfdab714c5813edab9e2d6f4856b063a867633d49f2c8dfd1d2c6c8f9cbfc8

OS/ARCH

linux/arm64/v8

Compressed size

1003.75 MB

Last pushed

almost 2 years by kevinaangstadt

Type

Image

Manifest digest

sha256:c3d10bb8ee581e04cc2ccde71a4170b52d7150d099adb13358d0789f099a2444

Image Layers

Image Layers

1ARG RELEASE0 B
2ARG LAUNCHPAD_BUILD_ARCH0 B
3LABEL org.opencontainers.image.ref.name=ubuntu0 B
4LABEL org.opencontainers.image.version=22.040 B
5ADD file ... in / 0 B
6CMD ["/bin/bash"]0 B
7RUN /bin/sh -c ln -fs0 B
8COPY <<EOF /etc/apt/apt.conf.d/mirror-retry # buildkit0 B
9RUN /bin/sh -c apt-get -y0 B
10RUN /bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get0 B
11RUN /bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get0 B
12COPY /usr/local/bin/opam-2.0 /usr/bin/opam-2.0 # buildkit0 B
13RUN /bin/sh -c ln /usr/bin/opam-2.00 B
14COPY /usr/local/bin/opam-2.1 /usr/bin/opam-2.1 # buildkit0 B
15COPY /usr/local/bin/opam-2.2 /usr/bin/opam-2.2 # buildkit0 B
16COPY /usr/local/bin/opam-2.3 /usr/bin/opam-2.3 # buildkit0 B
17COPY /usr/local/bin/opam-master /usr/bin/opam-dev # buildkit0 B
18RUN /bin/sh -c echo 'debconf0 B
19COPY <<EOF /etc/sudoers.d/opam # buildkit0 B
20RUN /bin/sh -c chmod 4400 B
21RUN /bin/sh -c chown root:root0 B
22RUN /bin/sh -c if getent0 B
23RUN /bin/sh -c adduser --uid0 B
24RUN /bin/sh -c passwd -l0 B
25RUN /bin/sh -c chown -R0 B
26USER opam0 B
27ENV HOME=/home/opam0 B
28WORKDIR /home/opam0 B
29RUN /bin/sh -c mkdir .ssh0 B
30RUN /bin/sh -c chmod 7000 B
31COPY --chown=opam <<EOF /home/opam/.opamrc-nosandbox #0 B
32COPY --chown=opam <<EOF /home/opam/opam-sandbox-disable #0 B
33RUN /bin/sh -c chmod a+x0 B
34RUN /bin/sh -c sudo mv0 B
35COPY --chown=opam <<EOF /home/opam/.opamrc-sandbox #0 B
36COPY --chown=opam <<EOF /home/opam/opam-sandbox-enable #0 B
37RUN /bin/sh -c chmod a+x0 B
38RUN /bin/sh -c sudo mv0 B
39RUN /bin/sh -c git config0 B
40RUN /bin/sh -c git config0 B
41COPY --chown=opam:opam . /home/opam/opam-repository #0 B
42RUN /bin/sh -c opam-sandbox-disable #0 B
43RUN /bin/sh -c opam init0 B
44RUN /bin/sh -c rm -rf0 B
45COPY Dockerfile /Dockerfile.opam # buildkit0 B
460 B
47ENV OPAMYES=1 OPAMCONFIRMLEVEL=unsafe-yes OPAMERRLOGLEN=0 OPAMPRECISETRACKING=10 B
48RUN /bin/sh -c opam switch0 B
49RUN /bin/sh -c opam pin0 B
50RUN /bin/sh -c opam install0 B
51ENTRYPOINT ["opam" "exec" "--"]0 B
52CMD ["/bin/sh" "-c" "bash"]0 B
53COPY Dockerfile /Dockerfile.ocaml # buildkit0 B
54613.01 MB
55USER root0 B
56RUN /bin/sh -c apt-get update617 B
57USER opam0 B
58RUN /bin/sh -c OPAMYES=1 opam390.74 MB

Command

 ARG RELEASE