Sign inSign up

trustworthysystems/camkes-cakeml-cogent-rust:2023_01_05

Manifest digest

sha256:d33e0d1ec0ba29a2c5d9bcdcf0f30e5618bf9f37e0a714dd84527bc06d2b09cc

OS/ARCH

linux/amd64

Compressed size

2.83 GB

Last pushed

over 3 years by lsf37

Type

Image

Manifest digest

sha256:d33e0d1ec0ba29a2c5d9bcdcf0f30e5618bf9f37e0a714dd84527bc06d2b09cc

Image Layers

Image Layers

1ADD file ... in / 29.91 MB
2CMD ["bash"]0 B
3LABEL ORGANISATION=Trustworthy Systems0 B
4LABEL MAINTAINER=Luke Mondy ([email protected])0 B
5ARG SCM0 B
6ARG DESKTOP_MACHINE=no0 B
7ARG USE_DEBIAN_SNAPSHOT=yes0 B
8ARG SNAPSHOT_DATE0 B
9ARG MAKE_CACHES=yes0 B
10ARG SCRIPTS_DIR=/scripts0 B
11ARG REPO_DIR=/scripts/repo0 B
12ARG SCRIPT=base_tools.sh0 B
13COPY dir:e69a0d87d9487195b79dc580a0038be9fa707c59a4c6032493d0122fd939665c in /tmp/ 10.58 KB
14|8 DESKTOP_MACHINE=no MAKE_CACHES=yes REPO_DIR=/scripts/repo SCM=85.21 MB
15ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo0 B
16LABEL ORGANISATION=Trustworthy Systems0 B
17LABEL MAINTAINER=Luke Mondy ([email protected])0 B
18ARG SCM0 B
19ARG DESKTOP_MACHINE=no0 B
20ARG USE_DEBIAN_SNAPSHOT=yes0 B
21ARG MAKE_CACHES=yes0 B
22ARG SCRIPT=sel4.sh0 B
23COPY dir:e69a0d87d9487195b79dc580a0038be9fa707c59a4c6032493d0122fd939665c in /tmp/ 0 B
24|5 DESKTOP_MACHINE=no MAKE_CACHES=yes SCM= SCRIPT=sel4.sh1.07 GB
25ENV LANG=en_AU.UTF-80 B
26LABEL ORGANISATION=Trustworthy Systems0 B
27LABEL MAINTAINER=Luke Mondy ([email protected])0 B
28ARG SCM0 B
29ARG USE_DEBIAN_SNAPSHOT=yes0 B
30ARG DESKTOP_MACHINE=no0 B
31ARG MAKE_CACHES=yes0 B
32ARG STACK_ROOT=/etc/stack0 B
33ARG STACK_GID=12340 B
34ARG SCRIPT=camkes.sh0 B
35COPY dir:e69a0d87d9487195b79dc580a0038be9fa707c59a4c6032493d0122fd939665c in /tmp/ 0 B
36|7 DESKTOP_MACHINE=no MAKE_CACHES=yes SCM= SCRIPT=camkes.sh739.97 MB
37LABEL ORGANISATION=Trustworthy Systems0 B
38LABEL MAINTAINER=Luke Mondy ([email protected])0 B
39ARG HOL_DIR=/HOL0 B
40ARG CAKEML_DIR=/cakeml0 B
41ARG CAKEML32_BIN_DIR=/cake-x64-320 B
42ARG CAKEML64_BIN_DIR=/cake-x64-640 B
43COPY dir:844552726fdcb01ae65b36a45202bb58f97a264a46207f42546f109f27c19903 in /HOL 147.54 MB
44COPY dir:04766b5e342384510847669346214e0a77dd00b0ef79b0595a7febb51bffad76 in /cake-x64-32 11.32 MB
45COPY dir:cbd56c2fd0abf565ce72be03eda3632e5a1e2c819a0e90684a743ca6ae729db4 in /cake-x64-64 12.51 MB
46COPY dir:e0601d27cafb260785d7e937889fbe07462c9dc11e3ef87eb3ec640b5c17f7ca in /cakeml 105.79 MB
47ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo:/HOL/bin0 B
48LABEL ORGANISATION=Trustworthy Systems0 B
49LABEL MAINTAINER=Luke Mondy ([email protected])0 B
50ARG SCM0 B
51ARG DESKTOP_MACHINE=no0 B
52ARG USE_DEBIAN_SNAPSHOT=yes0 B
53ARG MAKE_CACHES=yes0 B
54ARG COGENT_DIR=/cogent0 B
55ARG SCRIPT=apply-cogent.sh0 B
56COPY dir:e69a0d87d9487195b79dc580a0038be9fa707c59a4c6032493d0122fd939665c in /tmp/ 0 B
57|6 COGENT_DIR=/cogent DESKTOP_MACHINE=no MAKE_CACHES=yes SCM=424.94 MB
58ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo:/HOL/bin:/.cogent-sandbox/bin:/opt/ghc/bin:/opt/cabal/bin0 B
59LABEL ORGANISATION=Trustworthy Systems0 B
60LABEL MAINTAINER=Luke Mondy ([email protected])0 B
61ARG SCM0 B
62ARG DESKTOP_MACHINE=no0 B
63ARG MAKE_CACHES=yes0 B
64ARG CARGO_HOME=/etc/cargo0 B
65ARG SCRIPT=apply-rust.sh0 B
66COPY dir:e69a0d87d9487195b79dc580a0038be9fa707c59a4c6032493d0122fd939665c in /tmp/ 0 B
67|5 CARGO_HOME=/etc/cargo DESKTOP_MACHINE=no MAKE_CACHES=yes SCM=244.91 MB
68ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo:/HOL/bin:/.cogent-sandbox/bin:/opt/ghc/bin:/opt/cabal/bin:/etc/cargo/bin0 B
69ENV CARGO_HOME=/etc/cargo0 B

Command

ADD file:5e8343ab9a73edc27c2889634896e792ab289b85c206de0fc31183fdc0a32ac7 in /