summarylogtreecommitdiffstats
 
AgeCommit messageAuthor
2020-12-08oopsDaniel Woffinden
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-23update .SRCINFO :/Daniel 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
 
Clone
https://aur.archlinux.org/z3-git.git/