summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
2020-12-08bump versionDaniel Woffinden
2020-12-08Add python-z3 to provides/conflictsDaniel Woffinden
2020-09-08Fix pkgver() for unannotated tagsDaniel Woffinden
2017-08-06Bump versionDaniel Woffinden
2016-05-23Fix it to actually work with latest upstream.Daniel Woffinden
2016-05-23Bump version, add z3 as a conflictDaniel Woffinden
2015-06-08Squash history to appease the aur4 hooks.Daniel Woffinden