| Age | Commit message | 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 |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/idris2-git.git/ | ||