Sign inSign up

dgellow/idris:v1.3.3

Manifest digest

sha256:58e33ed069952599469fc13528ae0e2e559187364c1d896bd81ba7d3f96e5640

OS/ARCH

linux/amd64

Compressed size

111.34 MB

Last pushed

almost 6 years by dgellow

Type

Image

Manifest digest

sha256:58e33ed069952599469fc13528ae0e2e559187364c1d896bd81ba7d3f96e5640

Image Layers

Image Layers

1ADD file ... in / 27.24 MB
2/bin/sh -c set -xe &&848 B
3/bin/sh -c [ -z "$(apt-get0 B
4/bin/sh -c mkdir -p /run/systemd162 B
5CMD ["/bin/bash"]0 B
6COPY dir:4d5c57883be1d091aad570cfec8a21a2b9ce0cbaa10db5e4041c5f1222b92fc4 in /usr/local/bin 42.11 MB
7COPY dir:9474228d3bb8a5744d58991c77cb3a4c3f11ea667f28c92fe814bd8c08da18d9 in /usr/local/lib 37.46 MB
8COPY dir:1437a827a1086e54360df5764df877edbeab3604b68f3bb02b052f05920c5400 in /usr/local/share 4.53 MB
9ENTRYPOINT ["idris"]0 B

Command

ADD file:da80f59399481ffc32f84353830dcf598f31a97785222e75d643bfb8a9aa14e7 in /