Age | Commit message (Collapse) | 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 | |