Index of /debian-ports/pool-alpha/main/a/acl2

	Name	Last modified	Size
	Parent Directory		-
	acl2_8.4dfsg-2_alpha.buildinfo	2021-11-07 06:03	8.2K
	acl2-infix_6.3-6_alpha.deb	2013-11-20 07:06	132K
	acl2-infix_8.4dfsg-2_alpha.deb	2021-11-07 06:03	502K
	acl2_6.3-6_alpha.deb	2013-11-20 07:07	13M
	acl2_8.4dfsg-2_alpha.deb	2021-11-07 06:03	20M
	acl2-books_6.3-6_alpha.deb	2013-11-20 07:09	21M
	acl2-books_8.4dfsg-2_alpha.deb	2021-11-07 06:03	283M