idris2-pack-db
Curated Package Collections for Idris2
These are package collections to be used with the pack package manager for Idris2.
In order to add your own package, make sure it builds with HEAD
of the main branch of the Idris2 project and submit a PR with
the package’s description added to collections/HEAD.toml and
make sure the necessary libraries are installed by adjusting
all three workflows under .github/workflows.
If it builds with Idris without failure, it will be included in the next nightly release of the package collection. Nightly releases are generated and checked automatically around 1 am UTC time by a GitHub action on this repository.
You can see the current package list plus the build status of all packages here.