Index of /acl2

	Name	Last modified	Size
	Parent Directory		-
	acl2-8.2_0.darwin_10.i386.tbz2	2019-08-24 13:35	106M
	acl2-8.2_0.darwin_10.i386.tbz2.rmd160	2019-08-24 13:35	512
	acl2-8.2_0.darwin_10.x86_64.tbz2	2020-01-27 06:40	105M
	acl2-8.2_0.darwin_10.x86_64.tbz2.rmd160	2020-01-27 06:40	512
	acl2-8.2_0.darwin_11.x86_64.tbz2	2019-08-24 13:38	104M
	acl2-8.2_0.darwin_11.x86_64.tbz2.rmd160	2019-08-24 13:38	512
	acl2-8.2_0.darwin_12.x86_64.tbz2	2019-08-24 13:34	104M
	acl2-8.2_0.darwin_12.x86_64.tbz2.rmd160	2019-08-24 13:34	512
	acl2-8.2_0.darwin_13.x86_64.tbz2	2019-08-24 15:13	104M
	acl2-8.2_0.darwin_13.x86_64.tbz2.rmd160	2019-08-24 15:13	512
	acl2-8.2_0.darwin_14.x86_64.tbz2	2019-08-24 17:09	104M
	acl2-8.2_0.darwin_14.x86_64.tbz2.rmd160	2019-08-24 17:09	512
	acl2-8.2_0.darwin_15.x86_64.tbz2	2019-08-24 13:34	104M
	acl2-8.2_0.darwin_15.x86_64.tbz2.rmd160	2019-08-24 13:34	512
	acl2-8.2_0.darwin_16.x86_64.tbz2	2019-08-24 16:28	104M
	acl2-8.2_0.darwin_16.x86_64.tbz2.rmd160	2019-08-24 16:28	512
	acl2-8.2_0.darwin_17.x86_64.tbz2	2019-08-24 14:48	104M
	acl2-8.2_0.darwin_17.x86_64.tbz2.rmd160	2019-08-24 14:48	512
	acl2-8.2_0.darwin_18.x86_64.tbz2	2019-08-24 14:55	105M
	acl2-8.2_0.darwin_18.x86_64.tbz2.rmd160	2019-08-24 14:55	512
	acl2-8.2_0.darwin_19.x86_64.tbz2	2020-01-04 00:43	105M
	acl2-8.2_0.darwin_19.x86_64.tbz2.rmd160	2020-01-04 00:43	512
	acl2-8.2_0.darwin_20.x86_64.tbz2	2021-01-02 14:51	105M
	acl2-8.2_0.darwin_20.x86_64.tbz2.rmd160	2021-01-02 14:51	512