summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2020-12-08oopsDaniel 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-23update .SRCINFO :/Daniel Woffinden
2016-05-23Bump version, add z3 as a conflictDaniel Woffinden
2015-06-08Squash history to appease the aur4 hooks.Daniel Woffinden