Sign inSign up

sourcedennis/agda-mini:2.6.4-1.7.3

Languages & frameworks
Developer tools
Manifest digest

sha256:adcf81e9de55958f686183d50c9ecfa5a31a019955237c21e52ecfd88b9846d2

OS/ARCH

linux/amd64

Compressed size

26.34 MB

Last pushed

about 1 year by sourcedennis

Type

Image

Manifest digest

sha256:adcf81e9de55958f686183d50c9ecfa5a31a019955237c21e52ecfd88b9846d2

Image Layers

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

Command

ADD file:33ebe56b967747a97dcec01bc2559962bee8823686c9739d26be060381bbb3ca in /