sha256:c8f32959c0f1eb5e3b4f4c03d39978ac8d82eb27b6de95883f39fe70e5e20606
OS/ARCH
linux/amd64
Compressed size
11.67 GB
Last pushed
about 6 years by avsm
Type
Image
Manifest digest
sha256:c8f32959c0f1eb5e3b4f4c03d39978ac8d82eb27b6de95883f39fe70e5e20606
Image Layers
1ADD file ... in / 48.06 MB2CMD ["bash"]0 B3COPY file:029c1bde4618ea5c3c2018a06d83037366681ffc7e4a63bc6940d2e7818edf14 in /usr/bin/bwrap 0 B4COPY file:141de6283299066ca18f09f3b849eac1eeed49c1a5aa15dc471866dff116c337 in /usr/bin/opam 0 B5COPY file:b3db6a574b4b08d708a6e8e389aa8bc568dcee7e65840b05120c044000430b02 in /usr/bin/opam-installer 0 B6/bin/sh -c ln -fs /usr/share/zoneinfo/Europe/London0 B7/bin/sh -c apt-get -y update0 B8/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B9/bin/sh -c echo 'Acquire::Retries "5";'0 B10/bin/sh -c apt-get -y update0 B11/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B12/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B13/bin/sh -c echo 'opam ALL=(ALL:ALL)0 B14/bin/sh -c chmod 440 /etc/sudoers.d/opam0 B15/bin/sh -c chown root:root /etc/sudoers.d/opam0 B16/bin/sh -c adduser --uid 10000 B17/bin/sh -c passwd -l opam0 B18/bin/sh -c chown -R opam:opam0 B19USER opam0 B20ENV HOME=/home/opam0 B21WORKDIR /home/opam0 B22/bin/sh -c mkdir .ssh0 B23/bin/sh -c chmod 700 .ssh0 B24/bin/sh -c echo 'wrap-build-commands: []'0 B25/bin/sh -c echo 'wrap-install-commands: []'0 B26/bin/sh -c echo 'wrap-remove-commands: []'0 B27/bin/sh -c echo 'required-tools: []'0 B28/bin/sh -c echo '#!/bin/sh' >0 B29/bin/sh -c echo 'cp ~/.opamrc-nosandbox0 B30/bin/sh -c echo 'echo ---0 B31/bin/sh -c chmod a+x /home/opam/opam-sandbox-disable0 B32/bin/sh -c sudo mv /home/opam/opam-sandbox-disable0 B33/bin/sh -c echo 'wrap-build-commands: ["%{hooks}%/sandbox.sh"0 B34/bin/sh -c echo 'wrap-install-commands: ["%{hooks}%/sandbox.sh"0 B35/bin/sh -c echo 'wrap-remove-commands: ["%{hooks}%/sandbox.sh"0 B36/bin/sh -c echo '#!/bin/sh' >0 B37/bin/sh -c echo 'cp ~/.opamrc-sandbox0 B38/bin/sh -c echo 'echo ---0 B39/bin/sh -c chmod a+x /home/opam/opam-sandbox-enable0 B40/bin/sh -c sudo mv /home/opam/opam-sandbox-enable0 B41/bin/sh -c git config --global0 B42/bin/sh -c git config --global0 B43COPY --chown=opam:opamdir:9e3b4285223c767ebe874dd2c4b499db43a0d6e20af3500e337d8369ad15cd71 in /home/opam/opam-repository 0 B44COPY file:b28efa61553d965c1b8b79ba4c093a04952c43a5bcd91d667960651a24997b39 in /Dockerfile.opam 0 B45245.8 MB46/bin/sh -c opam-sandbox-disable0 B47/bin/sh -c opam init -k0 B48ENV OPAMYES=1 OPAMERRLOGLEN=00 B49/bin/sh -c opam switch create0 B50/bin/sh -c rm -rf .opam/repo/default/.git0 B51/bin/sh -c opam install -y0 B52ENTRYPOINT ["opam" "exec" "--"]0 B53CMD ["/bin/sh" "-c" "bash"]0 B54COPY file:77470c1b039b2866f160bfc2df9a6269fb90e6b0906ce236566c539b9c1f42ae in /Dockerfile.ocaml 0 B55152.83 MB56/bin/sh -c git -C /home/opam/opam-repository103.82 MB57/bin/sh -c cd /home/opam/opam-repository &&5.57 GB58/bin/sh -c mv /home/opam/opam-repository/cache /home/opam/cache5.57 GBCommand
ADD file:1ab357efe422cfed5e37af2dc60d07ccfd4bdee4d4a0c00838b5d68f19ff20c7 in /