summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
2022-10-22Fix makedependsLance Roy
2022-10-22Update to PEP 517 buildLance Roy
2022-10-22python-z3 was renamed to python-z3-solverLance Roy
2021-01-31Update maintainer commentLance Roy
2021-01-31Use arch's python-z3 instead of deleted AUR package python-z3-solver-angrLance Roy
2019-02-04Add package tracking claripy git masterlockshaw