| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-11-26 | `.SRCINFO` | Daniel Woffinden |
| 2023-11-26 | python-z3 -> python-z3-solver | Daniel Woffinden |
| 2020-12-08 | oops | Daniel Woffinden |
| 2020-12-08 | bump version | Daniel Woffinden |
| 2020-12-08 | Add python-z3 to provides/conflicts | Daniel Woffinden |
| 2020-09-08 | Fix pkgver() for unannotated tags | Daniel Woffinden |
| 2017-08-06 | Bump version | Daniel Woffinden |
| 2016-05-23 | update .SRCINFO :/ | Daniel Woffinden |
| 2016-05-23 | Fix it to actually work with latest upstream. | Daniel Woffinden |
| 2016-05-23 | Bump version, add z3 as a conflict | Daniel Woffinden |
| 2015-06-08 | Squash history to appease the aur4 hooks. | Daniel Woffinden |