zyasserd/agda:latest

Multi-platform

Languages & frameworks

Developer tools

Index digest

sha256:76763e5366b797ed7938bfa65a204c3e86c47531952e9ab3eb324b13be5014fd

OS/ARCH

Compressed size

88.06 MB

Last pushed

over 2 years by zyasserd

Type

Image

Manifest digest

sha256:5a171972df74f9d758bf3920ae210b7d544183512bee122f8489ae63b8beca8c

Image Layers

1ADD file ... in / 25.93 MB

2CMD ["bash"]0 B

3ENV so=that agda works0 B

4ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/root/.local/bin0 B

5COPY /root/.local/ /root/.local/ # buildkit56.65 MB

6COPY /root/.agda /root/.agda # buildkit5.48 MB

Command

ADD file:232125261662ceeb0126b96defe05092c121fecd55c99db5f76a03ab0c87d07e in /