8000 Tags · elba/elba · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Jan 5, 2024. It is now read-only.

Tags: elba/elba

Tags

0.3.3

Toggle 0.3.3's commit message 
- Support iPKG manifest (#25)

- Fix indirect local dependency resolution. (#65)

- Add .dirlock to .gitignore

- Fix warning of unable to clean build directory on Windows.

- Allow assigning --threads argument.

- Kill compiler on elba exit.

0.3.2

Toggle 0.3.2's commit message 
0.3.2

This release decreases the number of compilation tasks in parallel
so as to reduce the chance that Idris compiler breaks down on high load.

0.3.1

Toggle 0.3.1's commit message 
Release 0.3.1

0.3.0

Toggle 0.3.0's commit message 
0.3.0

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.

0.2.0

Toggle 0.2.0's commit message 
0.2.0

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.

0.1.5

Toggle 0.1.5's commit message 
0.1.5

This release of elba fixes a bug with launching the REPL.
For more information, see CHANGELOG.md.

0.1.4

Toggle 0.1.4's commit message 
0.1.4

This release of elba fixes a bug with package initialization.
For more info, see CHANGELOG.md.

0.1.3

Toggle 0.1.3's commit message 
0.1.3

This release of elba makes it more flexible when it comes to
test targets. For more information, see CHANGELOG.md.

0.1.2

Toggle 0.1.2's commit message 
0.1.2

This release of elba fixes a critical bug with regards to
tarball resolutions.

For more information, see CHANGELOG.md.

0.1.1

Toggle 0.1.1's commit message 
0.1.1

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.
0