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

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