Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : idris2-git.git
AUR Package Repositories | click
here
to return to the package base details page
summary
log
tree
commit
diff
stats
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2024-03-01
reorganize build, disable tests
MithicSpirit
2023-10-21
Clean up PKGBUILD and fix check()
MithicSpirit
2023-03-01
Prepare for publishing to AUR
MithicSpirit
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
2021-11-29
Update .SRCINFO
mb64
2021-11-29
The chez-scheme package now provides it under the executable chez rather than...
mb64
2021-09-20
Update for changes as of version 0.5.1
mb64
2021-01-25
Fix calculating the version number
mb64
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