| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |