Sign inSign up

sourcedennis/agda-mini:2.8.0

Multi-platform
Languages & frameworks
Developer tools
Index digest

sha256:caa8c4e0f415c62923f4312e097dd38912048205f1381aead4455697771c00d0

OS/ARCH

Compressed size

33.04 MB

Last pushed

3 months by sourcedennis

Type

Image

Manifest digest

sha256:919d9012ad1f5a79431a7776db016aaf469169e2ed86426243b8e7f90f6d32d4

Image Layers

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

Command

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