summaryrefslogtreecommitdiffstats
path: root/academic/eprover
ModeNameSize
-rw-r--r--README71logstatsplain
-rw-r--r--eprover.SlackBuild3127logstatsplain
-rw-r--r--eprover.info291logstatsplain
-rw-r--r--slack-desc731logstatsplain