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.
index	An index from which information/metadata about available packages is obtained.
package	Data structures related to packages.
resolve	Module resolve provides logic for resolving dependency graphs.
retrieve	Interfaces for retrieving packages (and information about them) from different sources.
util	Utility functions.