codaprotocol/coda:toolchain-397c49cd69f9aa8b8d519a3d4c7abe8debd5633d

Manifest digest

sha256:5f45e5eaf151a4d4f33be28b0743a61db58c6be069f5b9b716e8bb032fbfbead

OS/ARCH

linux/amd64

Compressed size

3.27 GB

Last pushed

over 6 years by mrmr1993

Type

Image

Manifest digest

sha256:5f45e5eaf151a4d4f33be28b0743a61db58c6be069f5b9b716e8bb032fbfbead

Image Layers

Image Layers

1ADD file ... in / 43.24 MB

2CMD ["bash"]0 B

3COPY file:9de575a02a86cb3e91a4ad372337edd815fef8a699db31c65b07b8363ad3c553 in /usr/bin/bwrap 71 KB

4COPY file:286518d1acf0f07c0ce6cb06fa8a3e439f650f0a21b1f911034ed9a807d95363 in /usr/bin/opam 4.57 MB

5COPY file:8e2054311111c739b734a13511c0b789ca2f23c17502d8072ef726bda3251c4d in /usr/bin/opam-installer 1.69 MB

6/bin/sh -c ln -fs /usr/share/zoneinfo/Europe/London120.85 MB

7USER opam0 B

8ENV HOME=/home/opam0 B

9WORKDIR /home/opam0 B

10/bin/sh -c mkdir .ssh &&65.32 MB

11ADD file ... in /Dockerfile 1.04 KB

12WORKDIR /home/opam/opam-repository0 B

13/bin/sh -c opam-sandbox-disable && 1.09 GB

14ENV OPAMYES=10 B

15ENTRYPOINT ["opam" "config" "exec"0 B

16CMD ["/bin/sh" "-c" "bash"]0 B

17ADD file ... in /Dockerfile 436 B

18ARG OCAML_VERSION=4.07.10 B

19ARG CODA_DIR=/coda0 B

20ARG EXTERNAL_PKG_DIR=/coda/src/external0 B

21ARG OPAMKEEPBUILDDIR=false0 B

22ARG OPAMREUSEBUILDDIR=false0 B

23|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false228.5 MB

24|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false19.21 MB

25|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false4.13 MB

26|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false120.96 MB

27|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false82.59 MB

28|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false152.04 MB

29|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false4.7 MB

30|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false56.52 MB

31|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false370 B

32|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false34.73 MB

33|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false441 B

34|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false295 B

35|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false20.68 MB

36|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false74.54 MB

37|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false108.5 MB

38|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false329 B

39|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false973 B

40|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false0 B

41ADD file ... in . 1.49 KB

42|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false675.67 MB

43|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false154.29 MB

44|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false160 B

45|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false212 B

46|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false149.47 MB

47|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false1.46 MB

48|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false114.58 MB

49|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false1.75 KB

50|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false158 B

51|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false1.76 KB

Command

ADD file:6e8620824300ccf3754fb5d8644a1dc7c69431d4cd1ef9d28d73f39260f96020 in /