oddwa.re file archive

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2_3.1.orig.tar.gz	2006-12-06 15:05	6.4M
	acl2_3.1-1_sparc.deb	2006-12-08 12:03	17M
	acl2_3.1-1_powerpc.deb	2006-12-07 11:03	17M
	acl2_3.1-1_ia64.deb	2006-12-08 05:03	17M
	acl2_3.1-1_i386.deb	2006-12-07 04:04	15M
	acl2_3.1-1_amd64.deb	2006-12-07 18:04	18M
	acl2_3.1-1.dsc	2006-12-06 15:05	822
	acl2_3.1-1.diff.gz	2006-12-06 15:05	13K
	acl2_2.9.3-5build1_hppa.deb	2005-10-09 09:55	14M
	acl2-source_3.1-1_all.deb	2006-12-07 04:04	2.2M
	acl2-infix_3.1-1_sparc.deb	2006-12-08 12:03	218K
	acl2-infix_3.1-1_powerpc.deb	2006-12-07 11:03	243K
	acl2-infix_3.1-1_ia64.deb	2006-12-08 05:03	297K
	acl2-infix_3.1-1_i386.deb	2006-12-07 04:04	166K
	acl2-infix_3.1-1_amd64.deb	2006-12-07 18:04	194K
	acl2-infix_2.9.3-5build1_hppa.deb	2005-10-09 09:55	378K
	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-doc_3.1-1_all.deb	2006-12-07 04:04	1.9M
	acl2-books_3.1-1_sparc.deb	2006-12-08 12:03	1.8M
	acl2-books_3.1-1_powerpc.deb	2006-12-07 11:03	2.2M
	acl2-books_3.1-1_ia64.deb	2006-12-08 05:03	2.8M
	acl2-books_3.1-1_i386.deb	2006-12-07 04:04	1.5M
	acl2-books_3.1-1_amd64.deb	2006-12-07 18:04	2.0M
	acl2-books_2.9.3-5build1_hppa.deb	2005-10-09 09:55	3.5M
	acl2-books-source_3.1-1_all.deb	2006-12-07 04:04	2.1M
	acl2-books-certs_3.1-1_all.deb	2006-12-07 04:04	4.7M