summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
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