Index of /slackbuilds.org/14.2/academic/eprover
Name
Last modified
Size
Description
Parent Directory
-
slack-desc
2019-02-22 17:31
731
eprover.info
2020-09-04 18:31
291
eprover.SlackBuild
2020-09-04 18:31
3.1K
README
2019-02-22 17:31
71
Current bandwidth utilization 11.17 Mbit/s