Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-10-22 | Fix makedepends | Lance Roy | |
2022-10-22 | Update to PEP 517 build | Lance Roy | |
2022-10-22 | python-z3 was renamed to python-z3-solver | Lance Roy | |
2021-01-31 | Update maintainer comment | Lance Roy | |
2021-01-31 | Use arch's python-z3 instead of deleted AUR package python-z3-solver-angr | Lance Roy | |
2019-02-04 | Add package tracking claripy git master | lockshaw | |