| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-03-01 | reorganize build, disable tests | MithicSpirit | |
| 2023-10-21 | Clean up PKGBUILD and fix check() | MithicSpirit | |
| Note that the tests are still failing (upstream issue), but at least now it won't prompt you when it does fail. | |||
| 2023-03-01 | Prepare for publishing to AUR | MithicSpirit | |
| Resets the pkgrel since since the AUR doesn't have the version history from github and update Maintainer/Co-maintainer to reflect recent changes. | |||
| 2023-02-18 | fix optdepends | MithicSpirit | |
| 2023-02-16 | add optdepeds for different backends | MithicSpirit | |
| 2023-02-16 | properly fix PREFIX for api lib (should work with lsp now) | MithicSpirit | |
| 2023-02-15 | fix checks, installation, and install with src (for lsp) | MithicSpirit | |
| 2023-02-13 | HACK: set epoch | MithicSpirit | |
| 2023-02-04 | Improve formatting | MithicSpirit | |
| 2022-12-21 | fix tests using bootstrap instead of built | MithicSpirit | |
| 2022-10-10 | Re-add bash completion script | MithicSpirit | |
| 2022-10-10 | Overall rewrite of PKGBUILD | MithicSpirit | |
| - Adds check - Fixes some build issues - Fixes RefC backend | |||
| 2021-11-29 | Update .SRCINFO | mb64 | |
| 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 | Update .SRCINFO | mb64 | |
| 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 | |