A package manager for the Idris language.
Actually building Idris packages.
Handlers for all of the command-line actions of the binary.
An index from which information/metadata about available packages is obtained.
Data structures related to packages.
Interfaces for retrieving packages (and information about them) from different sources.