Index of /slackbuilds/15.0/academic/eprover

	Name	Last modified	Size	Description
	Parent Directory		-
	eprover.SlackBuild	2025-12-06 08:58	3.5K
	eprover.info	2025-12-06 08:58	293
	slack-desc	2022-03-11 05:34	731