summaryrefslogtreecommitdiff
path: root/sci-mathematics/kissat
ModeNameSize
-rw-r--r--Manifest1513logplain
-rw-r--r--kissat-3.0.0.ebuild807logplain
-rw-r--r--kissat-3.1.0.ebuild807logplain
-rw-r--r--metadata.xml762logplain