| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 4 days | Fix provides() | Manuel Wiesinger | |
| 4 days | provide dev version, cosmetic improvements | Manuel Wiesinger | |
| 9 days | Better reflect upstream versions in pkgver() | Manuel Wiesinger | |
| + minor style changes + Tested in clean chroot | |||
| 2024-11-03 | Add prepare() to cleanup build artifacts | Manuel Wiesinger | |
| https://wiki.archlinux.org/title/Python_package_guidelines#Standards_based_(PEP_517) | |||
| 2024-11-03 | Add python-setuptools to makedepends | Manuel Wiesinger | |
| 2024-10-16 | provide the -git package | Manuel Wiesinger | |
| 2024-10-15 | Updated to 9.2 + chores | Manuel Wiesinger | |
| - Updated dependencies - Added check() - Added docs - SPDX License - Tested in clean chroot | |||
| 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 | |