Sign inSign up

sourcedennis/agda-mini:2.6.2.2-1.7.1

Languages & frameworks
Developer tools
Manifest digest

sha256:f0eb587b38bae61e925e27b08724697c4160b3d5a343883e05e3973dc69b0d5b

OS/ARCH

linux/amd64

Compressed size

53.67 MB

Last pushed

about 2 years by sourcedennis

Type

Image

Manifest digest

sha256:f0eb587b38bae61e925e27b08724697c4160b3d5a343883e05e3973dc69b0d5b

Image Layers

Image Layers

1ADD file ... in / 27.8 MB
2CMD ["bash"]0 B
3ARG AGDA_VERSION0 B
4ARG GHC_VERSION0 B
5ARG STDLIB_VERSION0 B
6RUN |3 AGDA_VERSION=2.6.2.2 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.1255.97 KB
7COPY /share/x86_64-linux-ghc-8.6.5/Agda-2.6.2.2 /share/x86_64-linux-ghc-8.6.5/Agda-2.6.2.2 # buildkit690.29 KB
8RUN |3 AGDA_VERSION=2.6.2.2 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.1631.96 KB
9COPY /bin/agda /bin/agda # buildkit23.42 MB
10RUN |3 AGDA_VERSION=2.6.2.2 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.13.26 KB
11USER proof0 B
12WORKDIR /home/proof32 B
13COPY --chown=proof:proof /usr/local/bin/agda-stdlib-1.7.1 /home/proof/agda-stdlib-1.7.1 #925.69 KB
14RUN |3 AGDA_VERSION=2.6.2.2 GHC_VERSION=8.6.5 STDLIB_VERSION=1.7.1226 B

Command

ADD file:5aaace706aa00ff97d243daa2c29f5de88f124e1b97c570634f16eef90783286 in /