Index of /mie/pool/universe/a/acl2

	Name	Last modified	Size
	Parent Directory		-
	acl2_3.3-1ubuntu1_lpia.deb	2008-02-17 02:03	16M
	acl2_3.3.orig.tar.gz	2007-12-04 12:05	7.0M
	acl2-books-certs_3.1-1_all.deb	2006-12-07 04:04	4.7M
	acl2-books_3.3-1ubuntu1_lpia.deb	2008-02-17 02:03	4.4M
	acl2-source_3.1-1_all.deb	2006-12-07 04:04	2.2M
	acl2-books-source_3.1-1_all.deb	2006-12-07 04:04	2.1M
	acl2-doc_3.1-1_all.deb	2006-12-07 04:04	1.9M
	acl2-infix_3.3-1ubuntu1_lpia.deb	2008-02-17 02:03	171K
	acl2-infix-source_3.1-1_all.deb	2006-12-07 04:04	83K
	acl2-emacs_3.1-1_all.deb	2006-12-07 04:04	49K
	acl2_3.3-1ubuntu1.diff.gz	2008-02-17 00:03	13K
	acl2_3.3-1ubuntu1.dsc	2008-02-17 00:03	1.0K