sourcedennis/cgc:official

Manifest digest

sha256:18fcb1e65563e6f44349584886ef711b0d85f2b9dd259c85c0a6d3025c8f858f

OS/ARCH

linux/amd64

Compressed size

36.6 MB

Last pushed

almost 4 years by sourcedennis

Type

Image

Manifest digest

sha256:18fcb1e65563e6f44349584886ef711b0d85f2b9dd259c85c0a6d3025c8f858f

Image Layers

1ADD file ... in / 25.88 MB

2CMD ["bash"]0 B

3ARG AGDA_VERSION0 B

4ARG GHC_VERSION0 B

5RUN |2 AGDA_VERSION=2.5.3 GHC_VERSION=8.0.2 /bin/sh250.95 KB

6COPY /share/x86_64-linux-ghc-8.0.2/Agda-2.5.3 /share/x86_64-linux-ghc-8.0.2/Agda-2.5.3 # buildkit64.57 KB

7RUN |2 AGDA_VERSION=2.5.3 GHC_VERSION=8.0.2 /bin/sh5.6 KB

8COPY /bin/agda /bin/agda # buildkit9.97 MB

9RUN |2 AGDA_VERSION=2.5.3 GHC_VERSION=8.0.2 /bin/sh4.09 KB

10USER proof0 B

11WORKDIR /home/proof32 B

12USER root0 B

13RUN /bin/sh -c apt-get update357.09 KB

14USER proof0 B

15COPY /root/cgc /proofs # buildkit76.07 KB

16WORKDIR /proofs32 B

Command

ADD file:81dbfe4f9df4d280f7580380c0c5c93ba71fedba17b3072d2b7b4bce127f88a9 in /