dgellow/idris:v0.99

Manifest digest

sha256:64054ef983317f2b25e1c480ec9c10a1d13407021592a6ec7d9035c952751406

OS/ARCH

linux/amd64

Compressed size

383.82 MB

Last pushed

over 9 years by dgellow

Type

Image

Manifest digest

sha256:64054ef983317f2b25e1c480ec9c10a1d13407021592a6ec7d9035c952751406

Image Layers

Image Layers

1ADD file ... in / 49.06 MB

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

3ENV LANG=C.UTF-80 B

4/bin/sh -c echo 'deb http://ppa.launchpad.net/hvr/ghc/ubuntu188.42 MB

5

ENV PATH=/root/.cabal/bin:/root/.local/bin:/opt/cabal/1.24/bin:/opt/ghc/8.0.2/bin:/opt/happy/1.19.5/bin:/opt/alex/3.1.7/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin

0 B

6CMD ["ghci"]0 B

7/bin/sh -c apt-get update &&31.33 MB

8ARG VERSION0 B

9|1 VERSION=-0.99 /bin/sh -c echo0 B

10|1 VERSION=-0.99 /bin/sh -c apt-get115.02 MB

11CMD ["/bin/sh" "-c" "idris"]0 B

Command

ADD file:4eedf861fb567fffb2694b65ebdd58d5e371a2c28c3863f363f333cb34e5eb7b in /