summaryrefslogtreecommitdiff
path: root/sci-mathematics/kissat
ModeNameSize
-rw-r--r--Manifest613logplain
-rw-r--r--kissat-3.1.1-r1.ebuild780logplain
-rw-r--r--kissat-4.0.4.ebuild902logplain
-rw-r--r--metadata.xml722logplain