sourcedennis/arancini-proofs:latest

Manifest digest

sha256:beb7c0610043a0c0c6e739c8c954f45153395291a3ed47f1cecf43827cc832e9

OS/ARCH

linux/amd64

Compressed size

26.43 MB

Last pushed

Type

Image

Manifest digest

sha256:beb7c0610043a0c0c6e739c8c954f45153395291a3ed47f1cecf43827cc832e9

Image Layers

1ADD file ... in / 3.46 MB

2CMD ["/bin/sh"]0 B

3ARG AGDA_VERSION=2.6.40 B

4ARG GHC_VERSION=8.6.50 B

5ARG STDLIB_VERSION=1.7.30 B

6RUN |3 AGDA_VERSION=2.6.4 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.3496.31 KB

7COPY /share/x86_64-linux-ghc-8.6.5/Agda-2.6.4 /share/x86_64-linux-ghc-8.6.5/Agda-2.6.4 # buildkit633.79 KB

8RUN |3 AGDA_VERSION=2.6.4 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.3572.54 KB

9COPY /bin/agda /bin/agda # buildkit20.31 MB

10RUN |3 AGDA_VERSION=2.6.4 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.3963 B

11USER proof0 B

12WORKDIR /home/proof32 B

13COPY --chown=proof:proof /home/proof/agda-stdlib-1.7.3 /home/proof/agda-stdlib-1.7.3 #927.74 KB

14RUN |3 AGDA_VERSION=2.6.4 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.3229 B

15RUN /bin/sh -c echo "/home/proof/agda-dodo/dodo.agda-lib"254 B

16COPY --chown=proof:proof /root/agda-dodo /home/proof/agda-dodo #25.39 KB

17COPY --chown=proof:proof /root/agda-burrow /home/proof/agda-burrow #29.92 KB

18COPY --chown=proof:proof /root/arancini-proofs /home/proof/arancini-proofs #40.57 KB

19WORKDIR /home/proof/arancini-proofs32 B

Command

ADD file:33ebe56b967747a97dcec01bc2559962bee8823686c9739d26be060381bbb3ca in /