summaryrefslogtreecommitdiff
path: root/academic/eprover
ModeNameSize
-rw-r--r--README71logplain
-rw-r--r--eprover.SlackBuild3127logplain
-rw-r--r--eprover.info291logplain
-rw-r--r--slack-desc731logplain