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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2019-02-22 17:31	71
	eprover.SlackBuild	2020-09-04 18:31	3.1K
	eprover.info	2020-09-04 18:31	291
	slack-desc	2019-02-22 17:31	731

Current bandwidth utilization 23.98 Mbit/s