Sign inSign up

sourcedennis/agda-mini:2.8.0

Multi-platform
Languages & frameworks
Developer tools
Index digest

sha256:caa8c4e0f415c62923f4312e097dd38912048205f1381aead4455697771c00d0

OS/ARCH

Compressed size

27.14 MB

Last pushed

3 months by sourcedennis

Type

Image

Manifest digest

sha256:b030ced66c3a69a66d947abe1396fc4b3332378447dfcadbc4d6ce9cb0b4b88d

Image Layers

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

Command

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