summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
2018-11-14fix build processAlex J. Malozemoff
2017-11-05Add z3 dependencyBrent Carmer
2017-10-19update (hopefully solves linker issues)Brent Carmer
2016-11-09Update buildBrent Carmer
2015-11-07UpdateBrent Carmer
2015-11-07remove unnecessary makedependsBrent Carmer
2015-06-09Initial importBrent Carmer