dgellow/idris2

•Updated over 5 years ago

Image

1.3K

Tags for dgellow/idris2

Sort by

TAG

v0.3.0-gba

Last pushed over 5 years by dgellow

docker pull dgellow/idris2:v0.3.0-gba

Digest	OS/ARCH	Compressed size
7fc63fe630e9	linux/amd64	55.78 MB

TAG

latest

Last pushed over 5 years by dgellow

docker pull dgellow/idris2:latest

Digest	OS/ARCH	Compressed size
f4d63781ca6d	linux/amd64	56.61 MB

TAG

v0.3.0

Last pushed over 5 years by dgellow

docker pull dgellow/idris2:v0.3.0

Digest	OS/ARCH	Compressed size
5c7b44007826	linux/amd64	56.61 MB

TAG

v0.1.0

Last pushed over 6 years by dgellow

docker pull dgellow/idris2:v0.1.0

Digest	OS/ARCH	Compressed size
9e4978bd3de2	linux/amd64	29.09 MB