sourcedennis/armed-proofs:x86

Manifest digest

sha256:8585b216b799f09f02e1e4b51e5c7eaa68f0cd782de85bcc7ade2a8e2a84db63

OS/ARCH

linux/amd64

Compressed size

28.44 MB

Last pushed

Type

Image

Manifest digest

sha256:8585b216b799f09f02e1e4b51e5c7eaa68f0cd782de85bcc7ade2a8e2a84db63

Image Layers

1ADD alpine-minirootfs-3.22.4-x86_64.tar.gz / # buildkit3.63 MB

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

3ARG AGDA_VERSION=2.8.00 B

4ARG GHC_VERSION=9.12.20 B

5RUN |2 AGDA_VERSION=2.8.0 GHC_VERSION=9.12.2 /bin/sh498.69 KB

6RUN |2 AGDA_VERSION=2.8.0 GHC_VERSION=9.12.2 /bin/sh949 B

7USER proof0 B

8WORKDIR /home/proof32 B

9COPY /usr/local/bin/agda /bin/agda # buildkit22.95 MB

10COPY --chown=proof:proof /usr/local/bin/Agda-2.8.0/src/data agda_data #74.85 KB

11COPY --chown=proof:proof /home/proof/agda-stdlib-2.3 /home/proof/agda-stdlib-2.3 #1.22 MB

12COPY --chown=proof:proof /home/proof/agda-dodo /home/proof/agda-dodo #25.67 KB

13COPY --chown=proof:proof /home/proof/agda-burrow /home/proof/agda-burrow #31.74 KB

14RUN /bin/sh -c mkdir -p274 B

15WORKDIR /home/proof/armed145 B

16COPY --chown=proof:proof src src #20.2 KB

17COPY --chown=proof:proof armed.agda-lib armed.agda-lib #254 B

Command

ADD alpine-minirootfs-3.22.4-x86_64.tar.gz / # buildkit