sourcedennis/lasagne-proofs:latest

Manifest digest

sha256:2cc0462deac2a6783a780c2bf4e9b18f2d19da6b5cd97ffc98388f597d5f4340

OS/ARCH

linux/amd64

Compressed size

39.65 MB

Last pushed

about 4 years by sourcedennis

Type

Image

Manifest digest

sha256:2cc0462deac2a6783a780c2bf4e9b18f2d19da6b5cd97ffc98388f597d5f4340

Image Layers

1ADD file ... in / 25.9 MB

2CMD ["bash"]0 B

3RUN /bin/sh -c apt-get update250.89 KB

4COPY /share/x86_64-linux-ghc-8.4.4/Agda-2.6.2.1 /share/x86_64-linux-ghc-8.4.4/Agda-2.6.2.1 # buildkit691.77 KB

5COPY /usr/local/bin/agda-stdlib-1.7.1 /usr/local/bin/agda-stdlib-1.7.1 # buildkit925.68 KB

6COPY /bin/agda /bin/agda # buildkit11.74 MB

7COPY libraries /root/.agda/ # buildkit228 B

8WORKDIR /proofs129 B

9COPY . . # buildkit187.74 KB

Command

ADD file:702017714ad3e1567b4f60b688750f8b631d91088e4dcf41351c4bb07749c579 in /