| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-01-22 | Update version to v0.9.9.0.r12.5181f09b | Sankalp Gambhir |
| 2025-01-22 | Correct git version extraction and more build reporting | Sankalp Gambhir |
| 2024-10-23 | Auto bump version in PKGBUILD | Sankalp Gambhir |
| 2024-10-23 | Correctly get jar name from short git version | Sankalp Gambhir |
| 2024-10-23 | Add cvc5 as an optional dependency | Sankalp Gambhir |
| 2024-10-23 | Add minimum JRE 11 requirement | Sankalp Gambhir |
| 2023-10-24 | Update version to v0.9.8.1.r5.1890d8ca | Sankalp Gambhir |
| 2023-10-10 | Update version to v0.9.8.1.r2.5ebe5197 | Sankalp Gambhir |
| 2023-10-10 | Dummy pkgrel as well | Sankalp Gambhir |
| 2023-10-10 | Added dummy pkgver | Sankalp Gambhir |
| 2023-10-10 | Remove static pkgver variable | Sankalp Gambhir |
| 2022-10-18 | Add optdepends | Sankalp Gambhir |
| 2022-10-18 | Fix java depends | Sankalp Gambhir |
| 2022-10-18 | Initialise | Sankalp Gambhir |