| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-03-12 | Update to the latest z3 master | ice-phoenix |
| 2016-12-13 | Up | ice-phoenix |
| 2016-04-13 | Updated to be in line with the latest AUR VCS guidelines | ice-phoenix |
| 2016-02-05 | Switched to new packaging scheme | ice-phoenix |
| 2015-07-01 | Initial commit | Marat Kh. Akhin |