summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2025-01-22Update version to v0.9.9.0.r12.5181f09bSankalp Gambhir
2025-01-22Make version updater not auto-pushSankalp Gambhir
2025-01-22Update build sourcesSankalp Gambhir
2025-01-22Correct git version extraction and more build reportingSankalp Gambhir
2024-10-23Update SRCINFOSankalp Gambhir
2024-10-23Auto bump version in PKGBUILDSankalp Gambhir
2024-10-23Correctly get jar name from short git versionSankalp Gambhir
2024-10-23Add cvc5 as an optional dependencySankalp Gambhir
2024-10-23Add minimum JRE 11 requirementSankalp Gambhir
2023-10-24Update version to v0.9.8.1.r5.1890d8caSankalp Gambhir
2023-10-24Add generic scala version to PKGBUILD templateSankalp Gambhir
2023-10-10Added version updating scriptSankalp Gambhir
2023-10-10Update version to v0.9.8.1.r2.5ebe5197Sankalp Gambhir
2023-10-10Dummy pkgrel as wellSankalp Gambhir
2023-10-10Dummy ver for SRCINFOSankalp Gambhir
2023-10-10Added dummy pkgverSankalp Gambhir
2023-10-10Merge branch 'master' of ssh://aur.archlinux.org/stainless-gitSankalp Gambhir
2023-10-10Remove static pkgver variableSankalp Gambhir
2023-10-10Remove static pkgver variableSankalp Gambhir
2022-10-18Add optdependsSankalp Gambhir
2022-10-18Fix java dependsSankalp Gambhir
2022-10-18InitialiseSankalp Gambhir