A package manager for Idris
Clone or download
dcao Fix bug which prevented use of test and update
  - Also, update dependencies
Latest commit 8161305 Nov 16, 2018

README.md

elba

Not-Windows Build Status Windows Build Status

A modern and (hopefully!) fast package manager for Idris.

Installation

There are three options for installing elba:

  1. Download the pre-built binary corresponding to your platform from GitHub Releases and place it in your PATH.
  2. Install the package from Rust's crates.io repository using cargo +nightly install elba
  3. Manually build and install elba yourself using the source code with git clone https://github.com/elba/elba.git && cd elba && cargo +nightly install.

Documentation

The elba Guide is intended to be the ultimate source of information on using elba and understanding its functionality.

Documentation for elba-the-Rust-library is hosted at docs.rs/elba.

License

elba itself is distributed under the MIT License.