dgellow/idris2:v0.1.0

Manifest digest

sha256:9e4978bd3de238a6e0b422b8a5208b18ede349fbe5e77b2299410533ae88c14f

OS/ARCH

linux/amd64

Compressed size

29.09 MB

Last pushed

over 6 years by dgellow

Type

Image

Manifest digest

sha256:9e4978bd3de238a6e0b422b8a5208b18ede349fbe5e77b2299410533ae88c14f

Image Layers

1ADD file ... in / 25.45 MB

2/bin/sh -c [ -z "$(apt-get34.54 KB

3/bin/sh -c set -xe &&848 B

4/bin/sh -c mkdir -p /run/systemd162 B

5CMD ["/bin/bash"]0 B

6COPY dir:f188c191bce66bee10b831a6b79207ad804d97e54d1d88226a3a39fe8bc366b6 in /root/.idris2 3.6 MB

7ENTRYPOINT ["/root/.idris2/bin/idris2"]0 B

Command

ADD file:594fa35cf803361e69d817fc867b6a4069c064ffd20ed50caf42ad9bb11ca999 in /