elba 0.3.0

elba is a package manager for Idris
Documentation 
1
2
3
4
5

mod index;
mod registry;
pub mod resolution;

pub use self::{index::*, registry::*};