Sign inSign up

ghac/ocaml-artemis:2

Manifest digest

sha256:017f6e4b6f3af7df4fa98bac5ffe41a70800d1bdd4734e80f73c97b1d32a40aa

OS/ARCH

linux/amd64

Compressed size

853.98 MB

Last pushed

over 5 years by ghac

Type

Image

Manifest digest

sha256:017f6e4b6f3af7df4fa98bac5ffe41a70800d1bdd4734e80f73c97b1d32a40aa

Image Layers

Image Layers

1ADD file ... in / 29.9 MB
2/bin/sh -c set -xe &&850 B
3/bin/sh -c [ -z "$(apt-get0 B
4/bin/sh -c mkdir -p /run/systemd162 B
5CMD ["/bin/bash"]0 B
6COPY file:e7050bb907c54aaaf51f7a992f57901d2230535d7e4d6b567c4ef18f90933741 in /usr/bin/bwrap 0 B
7COPY file:d276cc4221135175617459f68c2a29f730462b17a9423688818749f716373379 in /usr/bin/opam-2.0 0 B
8COPY file:23d469b43614014bf74d09efa9a4ff34e8b1f776afdae9e9e925766748451e2f in /usr/bin/opam-2.1 0 B
9/bin/sh -c ln /usr/bin/opam-2.0 /usr/bin/opam0 B
10/bin/sh -c ln -fs /usr/share/zoneinfo/Europe/London0 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 echo 'Acquire::Retries "5";'0 B
14/bin/sh -c apt-get -y update0 B
15/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
16/bin/sh -c DEBIAN_FRONTEND=noninteractive apt-get -y0 B
17/bin/sh -c echo 'debconf debconf/frontend0 B
18/bin/sh -c echo 'opam ALL=(ALL:ALL)0 B
19/bin/sh -c chmod 440 /etc/sudoers.d/opam0 B
20/bin/sh -c chown root:root /etc/sudoers.d/opam0 B
21/bin/sh -c adduser --uid 10000 B
22/bin/sh -c passwd -l opam0 B
23/bin/sh -c chown -R opam:opam0 B
24USER opam0 B
25ENV HOME=/home/opam0 B
26WORKDIR /home/opam0 B
27/bin/sh -c mkdir .ssh0 B
28/bin/sh -c chmod 700 .ssh0 B
29/bin/sh -c echo 'wrap-build-commands: []'0 B
30/bin/sh -c echo 'wrap-install-commands: []'0 B
31/bin/sh -c echo 'wrap-remove-commands: []'0 B
32/bin/sh -c echo 'required-tools: []'0 B
33/bin/sh -c echo '#!/bin/sh' >0 B
34/bin/sh -c echo 'cp ~/.opamrc-nosandbox0 B
35/bin/sh -c echo 'echo ---0 B
36/bin/sh -c chmod a+x /home/opam/opam-sandbox-disable0 B
37/bin/sh -c sudo mv /home/opam/opam-sandbox-disable0 B
38/bin/sh -c echo 'wrap-build-commands: ["%{hooks}%/sandbox.sh"0 B
39/bin/sh -c echo 'wrap-install-commands: ["%{hooks}%/sandbox.sh"0 B
40/bin/sh -c echo 'wrap-remove-commands: ["%{hooks}%/sandbox.sh"0 B
41/bin/sh -c echo '#!/bin/sh' >0 B
42/bin/sh -c echo 'cp ~/.opamrc-sandbox0 B
43/bin/sh -c echo 'echo ---0 B
44/bin/sh -c chmod a+x /home/opam/opam-sandbox-enable0 B
45/bin/sh -c sudo mv /home/opam/opam-sandbox-enable0 B
46/bin/sh -c git config --global0 B
47/bin/sh -c git config --global0 B
48COPY --chown=opam:opamdir:26d8be8fbf70d25e5d7d3ea9dd52649ca98c7bf3e306a7e0ef9258798d4f952b in /home/opam/opam-repository 0 B
49/bin/sh -c opam-sandbox-disable0 B
50/bin/sh -c opam init -k0 B
51/bin/sh -c rm -rf .opam/repo/default/.git0 B
52COPY file:4b51718f1779d046b2b8f1b908594379610140477df3b7a4a97812d9410f5a55 in /Dockerfile.opam 0 B
53272.61 MB
54ENV OPAMYES=1 OPAMDEPEXTYES=1 OPAMUNSAFEDEPEXTYES=10 B
55/bin/sh -c opam switch create0 B
56/bin/sh -c opam pin add0 B
57/bin/sh -c opam install -y0 B
58ENTRYPOINT ["opam" "exec" "--"]0 B
59CMD ["/bin/sh" "-c" "bash"]0 B
60COPY file:422719295c9484ed1365b4f0f36b5460773e904e8f65521f6ef22cccdf30f849 in /Dockerfile.ocaml 0 B
61176.41 MB
62USER root0 B
63/bin/sh -c apt-get update &&2.07 MB
64/bin/sh -c opam install ounit211.03 MB
65/bin/sh -c opam install batteries20.1 MB
66/bin/sh -c opam install core341.86 MB

Command

ADD file:040f5377eee4911128a2a905c24395f01f851e15b48eb119590403ccc061b848 in /