summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Collapse)Author
2024-03-01reorganize build, disable testsMithicSpirit
2023-10-21Clean 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-01Prepare for publishing to AURMithicSpirit
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-18fix optdependsMithicSpirit
2023-02-16add optdepeds for different backendsMithicSpirit
2023-02-15fix checks, installation, and install with src (for lsp)MithicSpirit
2023-02-13HACK: set epochMithicSpirit
2022-10-10Overall rewrite of PKGBUILDMithicSpirit
- Adds check - Fixes some build issues - Fixes RefC backend
2021-11-29Update .SRCINFOmb64
2021-09-20Update for changes as of version 0.5.1mb64
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-25Fix calculating the version numbermb64
0.3.0 used a different kind of git tag, so git describe needed the --tags argument.
2020-06-29Update .SRCINFOmb64
2020-06-01Fix git repo capitalizationmb64
2020-05-26Initial commitmb64