Public | Automated Build

Last pushed: a year ago
Short Description
Working Idris v0.9.20.1 image.
Full Description

dockerfiles

My dockerfiles

Docker Pull Command
Owner
coocoocacha
Source Repository