Age | Commit message (Expand) | Author |
---|---|---|
18 hours | 2.1.0 -> 2.1.1 | Manuel Wiesinger |
2024-10-09 | 2.0.0 -> 2.1.0 | Manuel Wiesinger |
2024-06-29 | Minor change of pkgdesc | Manuel Wiesinger |
2024-06-29 | Version bump to 2.0.0 | Manuel Wiesinger |
2024-03-27 | Refurbishments after adopting | Manuel Wiesinger |
2022-03-04 | 1.5.0 | Kyle Keen |
2020-08-06 | 1.3.0 | Kyle Keen |
2020-01-02 | 1.2.1 | Kyle Keen |
2019-04-28 | another sat solver | Kyle Keen |