Description
Idris 2 packages can be installed and managed from curated collections for repeatable project setup.
It is useful for developers who need dependencies, templates, or shared package sets in Idris 2 projects. Package managers download and run build code, so source trust and version pinning matter.