Help

System theme

Docker Suite

coocoocacha/idris

•Updated about 10 years ago

Working Idris v0.9.20.1 image.

Image

0

311

coocoocacha/idris repository overview

⁠dockerfiles

My dockerfiles

Tag summary

Recent tags

Content type

Image

Digest

Size

400.2 MB

Last updated

about 10 years ago

docker pull coocoocacha/idris