dgellow/idris

•Updated over 5 years ago

Latest idris, built from cabal

Image

2.2K

Tags for dgellow/idris

Sort by

TAG

latest

Last pushed over 5 years by dgellow

docker pull dgellow/idris:latest

Digest	OS/ARCH	Compressed size
bd61b24b945f	linux/amd64	111.55 MB

TAG

v1.3.3

Last pushed almost 6 years by dgellow

docker pull dgellow/idris:v1.3.3

Digest	OS/ARCH	Compressed size
58e33ed06995	linux/amd64	111.34 MB

TAG

v1.3.2

Last pushed over 6 years by dgellow

docker pull dgellow/idris:v1.3.2

Digest	OS/ARCH	Compressed size
bee572ecb068	linux/amd64	109.84 MB

TAG

v1.1.1

Last pushed almost 9 years by dgellow

docker pull dgellow/idris:v1.1.1

Digest	OS/ARCH	Compressed size
8e0daaea305e	linux/amd64	471.92 MB

TAG

v1.0

Last pushed over 9 years by dgellow

docker pull dgellow/idris:v1.0

Digest	OS/ARCH	Compressed size
9405d5d7eff3	linux/amd64	358.9 MB

TAG

v0.99.1

Last pushed over 9 years by dgellow

docker pull dgellow/idris:v0.99.1

Digest	OS/ARCH	Compressed size
d16c43159b3c	linux/amd64	384.74 MB

TAG

v0.99

Last pushed over 9 years by dgellow

docker pull dgellow/idris:v0.99

Digest	OS/ARCH	Compressed size
64054ef98331	linux/amd64	383.82 MB

TAG

v0.12.3

Last pushed over 9 years by dgellow

docker pull dgellow/idris:v0.12.3

Digest	OS/ARCH	Compressed size
f73df8454a98	linux/amd64	381.43 MB

TAG

v0.12

Last pushed over 9 years by registryadmin

docker pull dgellow/idris:v0.12