Sign inSign up

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

Multi-platform
Manifest digest

sha256:d6a5c4818183e10a879e11c244a440372fbb9e212aec859620afdea9491f8c50

OS/ARCH

Compressed size

493.61 MB

Last pushed

almost 6 years by ocurrent

Type

Image

Manifest digest

sha256:d6a5c4818183e10a879e11c244a440372fbb9e212aec859620afdea9491f8c50

Image Layers

Image Layers

1ADD file ... in / 48.06 MB
2CMD ["bash"]0 B
3COPY file:b6dfdc0d4997c11ecae879a7a970d1b42a748494cde45403bc00f8b92366205c in /usr/bin/bwrap 0 B
4COPY file:a5ef299af0bca319b6eb4c1c6510b14325835e85cdf4b1149b8b8b63cd86a286 in /usr/bin/opam-2.0 0 B
5COPY file:1a30cc2bdb7480170e62d9f35894d0267f47a15caf24c8552737514df1b53796 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
45COPY --chown=opam:opamdir:7382e381775871fb676fb978ceb8823516af3f9860a4a3563b86cdcaffc9f12f in /home/opam/opam-repository 0 B
46/bin/sh -c opam-sandbox-disable0 B
47/bin/sh -c opam init -k0 B
48/bin/sh -c rm -rf .opam/repo/default/.git0 B
49COPY file:18362a9aa0ab046a4bdac2ee1730c0061384bdf2a6c1584784fcd85a68089a4d in /Dockerfile.opam 0 B
50260.51 MB
51/bin/sh -c opam repo add0 B
52ENV OPAMYES=1 OPAMERRLOGLEN=00 B
53/bin/sh -c opam switch create0 B
54/bin/sh -c opam pin add0 B
55/bin/sh -c opam install -y0 B
56ENTRYPOINT ["opam" "exec" "--"]0 B
57CMD ["/bin/sh" "-c" "bash"]0 B
58COPY file:efd101999bbc9ace094eecec929fb96868358a988aa7423b4bf6e4e0ecd4fba4 in /Dockerfile.ocaml 0 B
59185.05 MB

Command

ADD file:6627ad39ea0cb9fcb212342326d14efaff51aece1fd0dc16d5bbcaa25d858622 in /