mattpolzin2/idris-docker

Latest release: over 2 years ago - 30,451 downloads - 523 dependencies

More details on packages.ecosyste.ms - JSON

Versions

0.7.0

Published: over 2 years ago Last synced: over 1 year ago

nightly-katla

Ubuntu 22.04.3 LTS

Published: about 3 years ago Last synced: over 2 years ago