Index of /slackbuilds.org/14.2/academic/eprover

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2019-02-23 02:31	71
	eprover.SlackBuild	2020-09-05 03:31	3.1K
	eprover.info	2020-09-05 03:31	291
	slack-desc	2019-02-23 02:31	731

Current bandwidth utilization 16.39 Mbit/s