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