| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-11-26 | python-z3 -> python-z3-solver | Daniel Woffinden | |
| thanks https://aur.archlinux.org/account/MarsSeed | |||
| 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 | Fix it to actually work with latest upstream. | Daniel Woffinden | |
| python2->python :) | |||
| 2016-05-23 | Bump version, add z3 as a conflict | Daniel Woffinden | |
| 2015-06-08 | Squash history to appease the aur4 hooks. | Daniel Woffinden | |