Crate elba

A package manager for the Idris language.

Modules

build	Actually building Idris packages.
cli	Handlers for all of the command-line actions of the binary.
package	Data structures related to packages.
remote
resolve	Module resolve provides logic for resolving dependency graphs.
retrieve	Interfaces for retrieving packages (and information about them) from different sources.
util	Utility functions.