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

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_3.1-1_all.deb	04-Dec-2006 21:47	4.7M
	acl2-books-certs_3.4-1_all.deb	25-Aug-2008 12:32	1.2M
	acl2-books-source_3.1-1_all.deb	04-Dec-2006 21:47	2.1M
	acl2-books-source_3.4-1_all.deb	25-Aug-2008 12:32	2.8M
	acl2-books_3.1-1_amd64.deb	04-Dec-2006 23:47	2.2M
	acl2-books_3.1-1_i386.deb	04-Dec-2006 21:47	1.5M
	acl2-books_3.4-1_amd64.deb	25-Aug-2008 18:32	25M
	acl2-books_3.4-1_armel.deb	27-Aug-2008 21:17	21M
	acl2-books_3.4-1_i386.deb	25-Aug-2008 12:32	21M
	acl2-doc_3.1-1_all.deb	04-Dec-2006 21:47	1.9M
	acl2-doc_3.4-1_all.deb	25-Aug-2008 12:32	2.3M
	acl2-emacs_3.1-1_all.deb	04-Dec-2006 21:47	49K
	acl2-emacs_3.4-1_all.deb	25-Aug-2008 12:32	54K
	acl2-infix-source_3.1-1_all.deb	04-Dec-2006 21:47	83K
	acl2-infix-source_3.4-1_all.deb	25-Aug-2008 12:32	85K
	acl2-infix_3.1-1_amd64.deb	04-Dec-2006 23:47	194K
	acl2-infix_3.1-1_i386.deb	04-Dec-2006 21:47	168K
	acl2-infix_3.4-1_amd64.deb	25-Aug-2008 18:32	432K
	acl2-infix_3.4-1_armel.deb	27-Aug-2008 21:17	388K
	acl2-infix_3.4-1_i386.deb	25-Aug-2008 12:32	390K
	acl2-source_3.1-1_all.deb	04-Dec-2006 21:47	2.2M
	acl2-source_3.4-1_all.deb	25-Aug-2008 12:32	2.5M
	acl2_3.1-1.diff.gz	04-Dec-2006 21:47	13K
	acl2_3.1-1.dsc	04-Dec-2006 21:47	822
	acl2_3.1-1_amd64.deb	04-Dec-2006 23:47	18M
	acl2_3.1-1_i386.deb	04-Dec-2006 21:47	15M
	acl2_3.1.orig.tar.gz	04-Dec-2006 21:47	6.4M
	acl2_3.3-1.1.diff.gz	06-Apr-2008 10:32	13K
	acl2_3.3-1.1.dsc	06-Apr-2008 10:32	821
	acl2_3.3-1.diff.gz	03-Dec-2007 19:32	13K
	acl2_3.3-1.dsc	03-Dec-2007 19:32	811
	acl2_3.3.orig.tar.gz	03-Dec-2007 19:32	7.0M
	acl2_3.4-1.diff.gz	25-Aug-2008 12:32	13K
	acl2_3.4-1.dsc	25-Aug-2008 12:32	1.1K
	acl2_3.4-1_amd64.deb	25-Aug-2008 18:32	21M
	acl2_3.4-1_armel.deb	27-Aug-2008 21:17	19M
	acl2_3.4-1_i386.deb	25-Aug-2008 12:32	18M
	acl2_3.4.orig.tar.gz	25-Aug-2008 12:32	7.6M