summaryrefslogtreecommitdiff
path: root/sci-mathematics/minisat
ModeNameSize
-rw-r--r--Manifest303logplain
d---------files58logplain
-rw-r--r--metadata.xml269logplain
-rw-r--r--minisat-2.1.0.ebuild1912logplain
-rw-r--r--minisat-2.2.0-r3.ebuild2008logplain