| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 24 hours | 2.1.0 -> 2.1.1 | Manuel Wiesinger | |
| - configure -l to include code to really see what the solver is doing - url -> https + Tested in clean chroot | |||
| 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 | |
| - tested built in clean chroot - Basic functionality tests - namcap | |||
| 2024-03-27 | Refurbishments after adopting | Manuel Wiesinger | |
| - Version 1.9.5 - no LTO (removes functions in static library) - -fPIC - check() - docs - add C headers - add mobical - Tested in clean chroot - namcap passes | |||
| 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 | |