Index of /macports/distfiles/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	8.0_1/	2018-05-09 20:41	-
	acl2-8.0.tar.gz	2018-05-07 22:23	74M
	acl2-8.1.tar.gz	2018-09-20 19:04	75M
	acl2-8.2.tar.gz	2019-08-24 12:23	76M
	acl2-8.3.tar.gz	2021-04-17 21:16	111M