Index of /slackbuilds/15.0/academic/eprover

	Name	Last modified	Size	Description
	Parent Directory		-
	eprover.SlackBuild	2024-10-12 04:38	3.5K
	eprover.info	2024-10-12 04:38	291
	slack-desc	2022-03-11 05:34	731