Sign inSign up

unikernel/ocaml-github:latest

Manifest digest

sha256:d58dd03029d06134a7345ee60e69023ffad2ad35003a006ecad73bd2d13b8244

OS/ARCH

linux/amd64

Compressed size

734.93 MB

Last pushed

over 5 years by unikernel

Type

Image

Manifest digest

sha256:d58dd03029d06134a7345ee60e69023ffad2ad35003a006ecad73bd2d13b8244

Image Layers

Image Layers

1ADD file ... in / 48.1 MB
2CMD ["bash"]0 B
3COPY file:79e08f378d8c20deb8c95e8165f705bbaa5d08ff91d88f697af0748ca10fac39 in /usr/bin/bwrap 0 B
4COPY file:f0636d167e63990b8da5469e24654113c5844c4eeaafe5c5c99c3b2d793c3626 in /usr/bin/opam-2.0 0 B
5COPY file:a3c752fdb1a7648f6595cab09829651afc297078ade2264950775f3534b9bdfe 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:7cf945a18f9b6c05473c38ad53283deeeea25f2fc358b1c362c46fd2ae39bdb8 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:afd917549b8ce0d30a4608b9dfb138a7fcc1445dbe78514e83c05a0edc60a2da in /Dockerfile.opam 0 B
50289.31 MB
51ENV OPAMYES=1 OPAMCONFIRMLEVEL=unsafe-yes OPAMERRLOGLEN=00 B
52/bin/sh -c opam switch create0 B
53/bin/sh -c opam pin add0 B
54/bin/sh -c opam install -y0 B
55ENTRYPOINT ["opam" "exec" "--"]0 B
56CMD ["/bin/sh" "-c" "bash"]0 B
57COPY file:58ee9ec93b7abeaba55f0020fed889ab52633e7aa50365116c0b3b5474edd0ea in /Dockerfile.ocaml 0 B
58180.93 MB
59/bin/sh -c opam pin add3.14 MB
60/bin/sh -c opam depext -ui213.44 MB
61/bin/sh -c opam install -j3.66 KB

Command

ADD file:1a1eae7a82c66d673971436ce2605e97d107e2934b7cdec876c64923ae6f4f85 in /