Sign inSign up

ocurrent/opam:debian-10-ocaml-4.13-flambda

Multi-platform
Manifest digest

sha256:94df4ee3979d2e09c6fe65af1297a9e143978c7d63356aed2978ec354ad9a4fa

OS/ARCH

Compressed size

516.14 MB

Last pushed

almost 6 years by ocurrent

Type

Image

Manifest digest

sha256:94df4ee3979d2e09c6fe65af1297a9e143978c7d63356aed2978ec354ad9a4fa

Image Layers

Image Layers

1ADD file ... in / 48.79 MB
2CMD ["bash"]0 B
3COPY file:076bf1cc1ab1f7c06c45e57506959744fba3cd5d9f34dc4c75ad0fce12f8d522 in /usr/bin/bwrap 0 B
4COPY file:bbf6d231b610357a21f06cdeda899c2e71d535872f4323471daff74b6a17deb0 in /usr/bin/opam-2.0 0 B
5COPY file:41da850fae5304cdb701f3a293f3652c70e6da51a1c92bef43b585b23d2dda71 in /usr/bin/opam-2.1 0 B
6/bin/sh -c ln /usr/bin/opam-2.0 /usr/bin/opam0 B
7/bin/sh -c ln -fs /usr/share/zoneinfo/Europe/London0 B
8/bin/sh -c apt-get -y update0 B
9/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
10/bin/sh -c echo 'Acquire::Retries "5";'0 B
11/bin/sh -c apt-get -y update0 B
12/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
13/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
14/bin/sh -c echo 'debconf debconf/frontend0 B
15/bin/sh -c echo 'opam ALL=(ALL:ALL)0 B
16/bin/sh -c chmod 440 /etc/sudoers.d/opam0 B
17/bin/sh -c chown root:root /etc/sudoers.d/opam0 B
18/bin/sh -c adduser --uid 10000 B
19/bin/sh -c passwd -l opam0 B
20/bin/sh -c chown -R opam:opam0 B
21USER opam0 B
22ENV HOME=/home/opam0 B
23WORKDIR /home/opam0 B
24/bin/sh -c mkdir .ssh0 B
25/bin/sh -c chmod 700 .ssh0 B
26/bin/sh -c echo 'wrap-build-commands: []'0 B
27/bin/sh -c echo 'wrap-install-commands: []'0 B
28/bin/sh -c echo 'wrap-remove-commands: []'0 B
29/bin/sh -c echo 'required-tools: []'0 B
30/bin/sh -c echo '#!/bin/sh' >0 B
31/bin/sh -c echo 'cp ~/.opamrc-nosandbox0 B
32/bin/sh -c echo 'echo ---0 B
33/bin/sh -c chmod a+x /home/opam/opam-sandbox-disable0 B
34/bin/sh -c sudo mv /home/opam/opam-sandbox-disable0 B
35/bin/sh -c echo 'wrap-build-commands: ["%{hooks}%/sandbox.sh"0 B
36/bin/sh -c echo 'wrap-install-commands: ["%{hooks}%/sandbox.sh"0 B
37/bin/sh -c echo 'wrap-remove-commands: ["%{hooks}%/sandbox.sh"0 B
38/bin/sh -c echo '#!/bin/sh' >0 B
39/bin/sh -c echo 'cp ~/.opamrc-sandbox0 B
40/bin/sh -c echo 'echo ---0 B
41/bin/sh -c chmod a+x /home/opam/opam-sandbox-enable0 B
42/bin/sh -c sudo mv /home/opam/opam-sandbox-enable0 B
43/bin/sh -c git config --global0 B
44/bin/sh -c git config --global0 B
45ENTRYPOINT ["/usr/bin/linux32"]0 B
46COPY --chown=opam:opamdir:8dc2b87869a7e9508ff75474705926b642e04bf1a258c94d2de1f5bf848d75fc in /home/opam/opam-repository 0 B
47/bin/sh -c opam-sandbox-disable0 B
48/bin/sh -c opam init -k0 B
49/bin/sh -c rm -rf .opam/repo/default/.git0 B
50COPY file:a018fc8e18f1e6c490e4705dcc6530713c25f5cbe4a8e894d2965a7d297848fc in /Dockerfile.opam 0 B
51266.81 MB
52/usr/bin/linux32 /bin/sh -c #(nop) 0 B
53/usr/bin/linux32 /bin/sh -c opam repo0 B
54/usr/bin/linux32 /bin/sh -c #(nop) 0 B
55/usr/bin/linux32 /bin/sh -c opam switch0 B
56/usr/bin/linux32 /bin/sh -c opam pin0 B
57/usr/bin/linux32 /bin/sh -c opam install0 B
58/usr/bin/linux32 /bin/sh -c #(nop) 0 B
59/usr/bin/linux32 /bin/sh -c #(nop) 0 B
60/usr/bin/linux32 /bin/sh -c #(nop) COPY0 B
61200.53 MB

Command

ADD file:67b2b1e6cbc655edc4f78c724cd2048f8b0b336c3b56cca448b65ee9bb594ede in /