Skip to content

@dcao dcao released this Jun 17, 2019

This is a major release of elba which adds a host of new functionality
while polishing up old features. In particular, this release adds many
new ways of interacting with package repositories (termed "indices" and
"registries"), and makes the package building process much more robust.
This release also provides basic experimental Blodwen (Idris 2),
which will be expounded upon in a future release.

For more information, see CHANGELOG.md.
Assets 9

@dcao dcao released this Aug 20, 2018

This is a major release of elba which polishes up the 0.1.x release
series, fixing up a multitude of different bugs, adding commands
where appropriate, and making major enhancements to ergonomics
(most notably major improvements to how git dependencies work,
the addition of an offline mode, functionality enhancements to
binary targets, and added defaults for manifests).

For more information, see CHANGELOG.md.
Assets 9

@dcao dcao released this Aug 13, 2018 · 91 commits to master since this release

This is a minor release of elba which fixes some bugs with index
retrieval and sets the "official" index at `elba/index` as the
default.
Assets 7
You can’t perform that action at this time.