| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-11-29 | The chez-scheme package now provides it under the executable chez rather ↵ | mb64 | |
| than scheme | |||
| 2021-09-20 | Update for changes as of version 0.5.1 | mb64 | |
| This adds the test and idris2-api packages to the install, as well as including their source code, with the goal of supporting the new LSP server out of the box. It works with the code in this PR: <https://github.com/idris-community/idris2-lsp/pull/96> It also includes the new Bash completions. | |||
| 2021-01-25 | Fix calculating the version number | mb64 | |
| 0.3.0 used a different kind of git tag, so git describe needed the --tags argument. | |||
| 2020-06-29 | Fix order of installing packages (network now depends on contrib) | mb64 | |
| 2020-06-01 | Fix git repo capitalization | mb64 | |
| 2020-05-26 | Initial commit | mb64 | |