1//! A package manager for the Idris language. 2 3pub mod build; 4pub mod cli; 5pub mod package; 6pub mod remote; 7pub mod resolve; 8pub mod retrieve; 9pub mod util;