summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
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