1
2
3
4
5
6
7
8
9

//! A package manager for the Idris language.

pub mod build;
pub mod cli;
pub mod package;
pub mod remote;
pub mod resolve;
pub mod retrieve;
pub mod util;