sourcedennis/risotto-proofs:latest

Manifest digest

sha256:ec3037841e34fe21300b6b3034b18a08d9e2b475fee58390f1d502878c1eb1f0

OS/ARCH

linux/amd64

Compressed size

51.82 MB

Last pushed

almost 4 years by sourcedennis

Type

Image

Manifest digest

sha256:ec3037841e34fe21300b6b3034b18a08d9e2b475fee58390f1d502878c1eb1f0

Image Layers

1ADD file ... in / 25.88 MB

2CMD ["bash"]0 B

3ARG AGDA_VERSION0 B

4ARG GHC_VERSION0 B

5ARG STDLIB_VERSION0 B

6RUN |3 AGDA_VERSION=2.6.2.1 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.1250.96 KB

7COPY /share/x86_64-linux-ghc-8.6.5/Agda-2.6.2.1 /share/x86_64-linux-ghc-8.6.5/Agda-2.6.2.1 # buildkit691.78 KB

8RUN |3 AGDA_VERSION=2.6.2.1 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.1633.37 KB

9COPY /bin/agda /bin/agda # buildkit23.32 MB

10RUN |3 AGDA_VERSION=2.6.2.1 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.14.09 KB

11USER proof0 B

12WORKDIR /home/proof32 B

13COPY /usr/local/bin/agda-stdlib-1.7.1 /home/proof/agda-stdlib-1.7.1 # buildkit925.72 KB

14RUN |3 AGDA_VERSION=2.6.2.1 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.1252 B

15WORKDIR /proofs135 B

16COPY . /proofs # buildkit172.76 KB

Command

ADD file:81dbfe4f9df4d280f7580380c0c5c93ba71fedba17b3072d2b7b4bce127f88a9 in /