sourcedennis/agda-mini:2.6.4.3-2.0

Languages & frameworks

Developer tools

Manifest digest

sha256:17b5228dfae9e78a3f2adabf8f264a4141628a3276e63ac8dfe113688df9a60a

OS/ARCH

linux/amd64

Compressed size

46.7 MB

Last pushed

about 2 years by sourcedennis

Type

Image

Manifest digest

sha256:17b5228dfae9e78a3f2adabf8f264a4141628a3276e63ac8dfe113688df9a60a

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.4.3 GHC_VERSION=8.6.5 STDLIB_VERSION=2.0255.99 KB

7COPY /share/x86_64-linux-ghc-8.6.5/Agda-2.6.4.3 /share/x86_64-linux-ghc-8.6.5/Agda-2.6.4.3 # buildkit628.67 KB

8RUN |3 AGDA_VERSION=2.6.4.3 GHC_VERSION=8.6.5 STDLIB_VERSION=2.0569.09 KB

9COPY /bin/agda /bin/agda # buildkit16.37 MB

10RUN |3 AGDA_VERSION=2.6.4.3 GHC_VERSION=8.6.5 STDLIB_VERSION=2.03.26 KB

11USER proof0 B

12WORKDIR /home/proof32 B

13COPY --chown=proof:proof /usr/local/bin/agda-stdlib-2.0 /home/proof/agda-stdlib-2.0 #1.11 MB

14RUN |3 AGDA_VERSION=2.6.4.3 GHC_VERSION=8.6.5 STDLIB_VERSION=2.0222 B

Command

ADD file:5aaace706aa00ff97d243daa2c29f5de88f124e1b97c570634f16eef90783286 in /