Sign inSign up

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

Multi-platform
Manifest digest

sha256:eb4c6df5b0caac1835a86e1e052f4e3ef814779fe2122b4bcebbd253b4608f24

OS/ARCH

Compressed size

467.73 MB

Last pushed

almost 6 years by ocurrent

Type

Image

Manifest digest

sha256:eb4c6df5b0caac1835a86e1e052f4e3ef814779fe2122b4bcebbd253b4608f24

Image Layers

Image Layers

1ADD file ... in / 43.74 MB
2CMD ["bash"]0 B
3COPY file:23002ccc3c06b4e125cc9a2ad37a4f5a8008d133a71d98ac34110faf1e3ff231 in /usr/bin/bwrap 0 B
4COPY file:21b7a19be09e67c56be40fac1a3d61f7f463aeb72eb23290d3e7a5af150eecfa in /usr/bin/opam-2.0 0 B
5COPY file:8560acced317b145446ce9a5b6d63e9ccbeeae2354e5cc0e64d5e48bc359a6d7 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:a9761209a4b31dd0e8c6920fe50445cbdb859c4e94507d3f0bec14efac3f5104 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:8e99e8b95cc94f14432a6f5ad20061ff82d11996acbca4944dd60e67514c0f06 in /Dockerfile.opam 0 B
51240.71 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
61183.28 MB

Command

ADD file:e03270d36cef8171f1f6303860ff31bb1c0eb10642b8173bfdfef9f77fa4f89c in /