codaprotocol/coda:toolchain-7e78877bef55606fa7ce22d8e8bf6af4b8b753a4

Manifest digest

sha256:fb1ad7fc8e5f005d8fefd7dfc42a471b6ec4efd37a722d21afe33c2a95470ec6

OS/ARCH

linux/amd64

Compressed size

2.59 GB

Last pushed

over 5 years by o1nathan

Type

Image

Manifest digest

sha256:fb1ad7fc8e5f005d8fefd7dfc42a471b6ec4efd37a722d21afe33c2a95470ec6

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=false273.01 MB

24|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false24.04 MB

25|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false30.62 KB

26|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false4.55 MB

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

28|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false154.53 MB

29|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false54.36 MB

30|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false12.21 MB

31|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false5.61 KB

32|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false5.61 KB

33|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false203.73 MB

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

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

36|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false9.08 KB

37|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false15.31 KB

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

39|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false38.51 MB

40|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false165.8 MB

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

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

43|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false91.35 MB

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

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

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

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

48|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false1.77 KB

49|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false150 B

50|5 CODA_DIR=/coda EXTERNAL_PKG_DIR=/coda/src/external OCAML_VERSION=4.07.1 OPAMKEEPBUILDDIR=false1.78 KB

Command

ADD file:6e8620824300ccf3754fb5d8644a1dc7c69431d4cd1ef9d28d73f39260f96020 in /