elba
| Crates.io | elba |
| lib.rs | elba |
| version | 0.3.0 |
| source | src |
| created_at | 2018-08-12 04:51:47.429068 |
| updated_at | 2019-06-17 00:06:47.431665 |
| description | elba is a package manager for Idris |
| homepage | https://github.com/elba/elba |
| repository | https://github.com/elba/elba |
| max_upload_size | |
| id | 79059 |
| size | 432,374 |
David Cao (dcao)
documentation
README
elba
A modern and (hopefully!) fast package manager for Idris. Supplemental information and alternatives can be found at this blog post.
Installation
There are three options for installing elba:
- Download the pre-built binary corresponding to your platform from GitHub Releases and place it in your PATH.
- Install the package from Rust's crates.io repository using
cargo install elba - Manually build and install elba yourself using the source code with
git clone https://github.com/elba/elba.git && cd elba && cargo install.
To build, elba requires Rust 1.31 or greater.
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.
Contributing
Contributions are welcome; you can create an issue if you have a feature request or a bug report, and you can submit a pull request if you'd like to address a sore spot yourself. If you'd like to implement a large feature, please either leave a comment on an existing issue or create a new issue for that feature.
Discussion happens on the Matrix channels of the elba community; discussion about this command-line utility specifically happen in the relevant channel.
License
elba itself is distributed under the MIT License.