summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/minisat: Remove oldJakov Smolic2021-01-201-160/+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
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+160