mattpolzin2/idris-docker

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

More details on packages.ecosyste.ms - JSON

Versions

0.7.0

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

nightly-katla

Ubuntu 22.04.3 LTS

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