| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-05-28 | bump for chez-scheme 10.2.0 update | MithicSpirit | |
| 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-15 | fix checks, installation, and install with src (for lsp) | MithicSpirit | |
| 2023-02-13 | HACK: set epoch | 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-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-01 | Fix git repo capitalization | mb64 | |
| 2020-05-26 | Initial commit | mb64 | |