Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Fix compatibility with c++11 | Dmitry Marakasov | 2015-06-26 | 1 | -15/+14 |
* | Cleanup plist | Antoine Brodin | 2014-11-15 | 1 | -5/+0 |
* | Fix properties on pkg-plist | Baptiste Daroussin | 2014-01-21 | 1 | -1/+0 |
* | Add minisat port - a lightweight SAT solver. | Vsevolod Stakhov | 2013-09-18 | 1 | -0/+30 |