summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/minisat: drop old 2.2.0_p20130925 versionMaciej Barć2022-01-171-527/+0
* sci-mathematics/minisat: Allow for compiling with GCC 6David Seifert2016-09-181-1/+1
* sci-mathematics/minisat: Adding minisat-2.2.0_p20130925Gerhard Bräunlich2016-09-131-0/+527