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

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