ruippeixotog/lang-idris

•Updated over 6 years ago

Image

188

Tags for ruippeixotog/lang-idris

Sort by

TAG

1.3.2

Last pushed over 6 years by ruippeixotog

docker pull ruippeixotog/lang-idris:1.3.2

Digest	OS/ARCH	Compressed size
09f69eed41a3	linux/amd64	86.55 MB