summaryrefslogtreecommitdiffstats
path: root/academic/cryptominisat
ModeNameSize
-rw-r--r--README532logstatsplain
-rw-r--r--cryptominisat.SlackBuild3133logstatsplain
-rw-r--r--cryptominisat.info333logstatsplain
-rw-r--r--slack-desc1192logstatsplain