Index of /debian-amd64/pool/main/a/acl2

	Name	Last modified	Size
	Parent Directory		-
	acl2_2.9-2.dsc	2005-04-30 11:19	794
	acl2_2.9-2.diff.gz	2004-11-11 03:02	18K
	acl2-emacs_2.9-2_all.deb	2005-04-30 11:19	48K
	acl2-infix-source_2.9-2_all.deb	2004-11-11 03:02	82K
	acl2-infix_2.9-2_amd64.deb	2005-04-30 11:19	210K
	acl2-books-certs_2.9-2_all.deb	2004-11-11 03:02	289K
	acl2-books_2.9-2_amd64.deb	2005-04-30 11:19	1.0M
	acl2-books-source_2.9-2_all.deb	2004-11-11 03:02	1.2M
	acl2-doc_2.9-2_all.deb	2004-11-11 03:02	1.7M
	acl2-source_2.9-2_all.deb	2004-11-11 03:02	2.0M
	acl2_2.9.orig.tar.gz	2005-04-30 11:19	5.0M
	acl2_2.9-2_amd64.deb	2005-04-30 11:19	16M