summaryrefslogtreecommitdiff
path: root/sci-mathematics/picosat
ModeNameSize
-rw-r--r--Manifest1212logplain
d---------files57logplain
-rw-r--r--metadata.xml277logplain
-rw-r--r--picosat-965.ebuild756logplain