sourcedennis/agda-mini:2.5.3

Languages & frameworks

Developer tools

Manifest digest

sha256:011463b7d56a84aa6a21e31b06dc6d39c7974e95a697dbd55e9d12d9c57de2ac

OS/ARCH

linux/amd64

Compressed size

38.11 MB

Last pushed

about 2 years by sourcedennis

Type

Image

Manifest digest

sha256:011463b7d56a84aa6a21e31b06dc6d39c7974e95a697dbd55e9d12d9c57de2ac

Image Layers

1ADD file ... in / 27.8 MB

2CMD ["bash"]0 B

3ARG AGDA_VERSION0 B

4ARG GHC_VERSION0 B

5RUN |2 AGDA_VERSION=2.5.3 GHC_VERSION=8.0.2 /bin/sh255.99 KB

6COPY /share/x86_64-linux-ghc-8.0.2/Agda-2.5.3 /share/x86_64-linux-ghc-8.0.2/Agda-2.5.3 # buildkit64.54 KB

7RUN |2 AGDA_VERSION=2.5.3 GHC_VERSION=8.0.2 /bin/sh5.6 KB

8COPY /bin/agda /bin/agda # buildkit9.99 MB

9RUN |2 AGDA_VERSION=2.5.3 GHC_VERSION=8.0.2 /bin/sh3.26 KB

10USER proof0 B

11WORKDIR /home/proof32 B

Command

ADD file:5aaace706aa00ff97d243daa2c29f5de88f124e1b97c570634f16eef90783286 in /