Index of /repository/archive/dists/Debian/pool/main/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2_3.1.orig.tar.gz	2006-12-04 20:47	6.4M
	acl2_3.1-1_i386.deb	2006-12-04 20:47	15M
	acl2_3.1-1.dsc	2006-12-04 20:47	822
	acl2_3.1-1.diff.gz	2006-12-04 20:47	13K
	acl2-source_3.1-1_all.deb	2006-12-04 20:47	2.2M
	acl2-infix_3.1-1_i386.deb	2006-12-04 20:47	168K
	acl2-infix-source_3.1-1_all.deb	2006-12-04 20:47	83K
	acl2-emacs_3.1-1_all.deb	2006-12-04 20:47	49K
	acl2-doc_3.1-1_all.deb	2006-12-04 20:47	1.9M
	acl2-books_3.1-1_i386.deb	2006-12-04 20:47	1.5M
	acl2-books-source_3.1-1_all.deb	2006-12-04 20:47	2.1M
	acl2-books-certs_3.1-1_all.deb	2006-12-04 20:47	4.7M