summaryrefslogtreecommitdiff
path: root/libs/minisat/00_PATCH_remove_zlib.patch
Commit message (Expand)AuthorAge
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Removed Minisat dependency on zlibClifford Wolf2014-07-25
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-27 19:35:51 +0000