sourcedennis/armed-proofs:latest

Multi-platform

Index digest

sha256:9c883fe361117050aa491f9cc5bf14c7a2cc2ab354ecbd0282102a6bf1052959

OS/ARCH

Compressed size

34.33 MB

Last pushed

Type

Image

Manifest digest

sha256:a052f4e87e4cea59ff083bc756a723d242b292cfa2604f41e5b00e09b5b3381a

Image Layers

1ADD alpine-minirootfs-3.22.4-aarch64.tar.gz / # buildkit3.95 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/sh518.24 KB

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

7USER proof0 B

8WORKDIR /home/proof32 B

9COPY /usr/local/bin/agda /bin/agda # buildkit28.51 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 -p262 B

15WORKDIR /home/proof/armed145 B

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

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

Command

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