Sign inSign up

sourcedennis/agda-mini:2.6.2.1

Languages & frameworks
Developer tools
Manifest digest

sha256:19e9627dadae8ba5b17d1eee55e0d8542b0d7eb8c38516b9f4977f74dacecda1

OS/ARCH

linux/amd64

Compressed size

52.69 MB

Last pushed

about 2 years by sourcedennis

Type

Image

Manifest digest

sha256:19e9627dadae8ba5b17d1eee55e0d8542b0d7eb8c38516b9f4977f74dacecda1

Image Layers

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.6.2.1 GHC_VERSION=8.6.5 /bin/sh255.97 KB
6COPY /share/x86_64-linux-ghc-8.6.5/Agda-2.6.2.1 /share/x86_64-linux-ghc-8.6.5/Agda-2.6.2.1 # buildkit691.04 KB
7RUN |2 AGDA_VERSION=2.6.2.1 GHC_VERSION=8.6.5 /bin/sh632.7 KB
8COPY /bin/agda /bin/agda # buildkit23.34 MB
9RUN |2 AGDA_VERSION=2.6.2.1 GHC_VERSION=8.6.5 /bin/sh3.26 KB
10USER proof0 B
11WORKDIR /home/proof32 B

Command

ADD file:5aaace706aa00ff97d243daa2c29f5de88f124e1b97c570634f16eef90783286 in /