Index of /slackbuilds/14.2/academic/eprover

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