sourcedennis/cgc:latest

Manifest digest

sha256:8264e131396d279be57caf24ff8ae40c2b5e1d90e110444b7bed292982374e91

OS/ARCH

linux/amd64

Compressed size

49.4 MB

Last pushed

almost 4 years by sourcedennis

Type

Image

Manifest digest

sha256:8264e131396d279be57caf24ff8ae40c2b5e1d90e110444b7bed292982374e91

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.6.1 GHC_VERSION=8.6.5 /bin/sh250.95 KB

6COPY /share/x86_64-linux-ghc-8.6.5/Agda-2.6.1 /share/x86_64-linux-ghc-8.6.5/Agda-2.6.1 # buildkit536.72 KB

7RUN |2 AGDA_VERSION=2.6.1 GHC_VERSION=8.6.5 /bin/sh472.68 KB

8COPY /bin/agda /bin/agda # buildkit21.86 MB

9RUN |2 AGDA_VERSION=2.6.1 GHC_VERSION=8.6.5 /bin/sh4.09 KB

10USER proof0 B

11WORKDIR /home/proof32 B

12USER root0 B

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

14USER proof0 B

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

16WORKDIR /proofs32 B

Command

ADD file:81dbfe4f9df4d280f7580380c0c5c93ba71fedba17b3072d2b7b4bce127f88a9 in /