Index of /slackbuilds/15.0/academic/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2.SlackBuild	2023-07-22 08:57	2.8K
	slack-desc	2023-07-22 08:57	945
	acl2.info	2023-07-22 08:57	341
	acl2	2023-07-22 08:57	77