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

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_3.1-1_all.deb	05-Dec-2006 06:47	4.7M
	acl2-books-certs_3.4-1_all.deb	25-Aug-2008 19:32	1.2M
	acl2-books-source_3.1-1_all.deb	05-Dec-2006 06:47	2.1M
	acl2-books-source_3.4-1_all.deb	25-Aug-2008 19:32	2.8M
	acl2-books_3.1-1_alpha.deb	05-Dec-2006 21:32	2.7M
	acl2-books_3.1-1_amd64.deb	05-Dec-2006 08:47	2.2M
	acl2-books_3.1-1_arm.deb	19-Dec-2006 04:00	1.6M
	acl2-books_3.1-1_hppa.deb	12-Dec-2006 16:02	7.4M
	acl2-books_3.1-1_i386.deb	05-Dec-2006 06:47	1.5M
	acl2-books_3.1-1_ia64.deb	06-Dec-2006 02:32	2.8M
	acl2-books_3.1-1_m68k.deb	12-Feb-2007 18:02	1.6M
	acl2-books_3.1-1_mips.deb	12-Dec-2006 18:02	2.0M
	acl2-books_3.1-1_mipsel.deb	08-Jan-2007 20:32	1.9M
	acl2-books_3.1-1_powerpc.deb	05-Dec-2006 21:32	2.2M
	acl2-books_3.1-1_s390.deb	06-Dec-2006 02:02	1.7M
	acl2-books_3.1-1_sparc.deb	01-Jan-2007 05:32	1.8M
	acl2-books_3.3-1.1_sparc.deb	07-Apr-2008 03:32	5.7M
	acl2-books_3.3-1_ia64.deb	11-Feb-2008 17:17	8.6M
	acl2-books_3.4-1_alpha.deb	26-Aug-2008 05:17	27M
	acl2-books_3.4-1_amd64.deb	26-Aug-2008 01:32	25M
	acl2-books_3.4-1_arm.deb	29-Aug-2008 07:32	20M
	acl2-books_3.4-1_armel.deb	28-Aug-2008 04:17	21M
	acl2-books_3.4-1_i386.deb	25-Aug-2008 19:32	21M
	acl2-books_3.4-1_mips.deb	26-Aug-2008 11:02	24M
	acl2-books_3.4-1_mipsel.deb	26-Aug-2008 08:47	23M
	acl2-books_3.4-1_powerpc.deb	26-Aug-2008 05:47	27M
	acl2-books_3.4-1_s390.deb	27-Aug-2008 19:17	27M
	acl2-doc_3.1-1_all.deb	05-Dec-2006 06:47	1.9M
	acl2-doc_3.4-1_all.deb	25-Aug-2008 19:32	2.3M
	acl2-emacs_3.1-1_all.deb	05-Dec-2006 06:47	49K
	acl2-emacs_3.4-1_all.deb	25-Aug-2008 19:32	54K
	acl2-infix-source_3.1-1_all.deb	05-Dec-2006 06:47	83K
	acl2-infix-source_3.4-1_all.deb	25-Aug-2008 19:32	85K
	acl2-infix_3.1-1_alpha.deb	05-Dec-2006 21:32	251K
	acl2-infix_3.1-1_amd64.deb	05-Dec-2006 08:47	194K
	acl2-infix_3.1-1_arm.deb	19-Dec-2006 04:00	186K
	acl2-infix_3.1-1_hppa.deb	12-Dec-2006 16:02	408K
	acl2-infix_3.1-1_i386.deb	05-Dec-2006 06:47	168K
	acl2-infix_3.1-1_ia64.deb	06-Dec-2006 02:32	297K
	acl2-infix_3.1-1_m68k.deb	12-Feb-2007 18:02	191K
	acl2-infix_3.1-1_mips.deb	12-Dec-2006 18:02	197K
	acl2-infix_3.1-1_mipsel.deb	08-Jan-2007 20:32	192K
	acl2-infix_3.1-1_powerpc.deb	05-Dec-2006 21:32	243K
	acl2-infix_3.1-1_s390.deb	06-Dec-2006 02:02	162K
	acl2-infix_3.1-1_sparc.deb	01-Jan-2007 05:32	218K
	acl2-infix_3.3-1.1_sparc.deb	07-Apr-2008 03:32	211K
	acl2-infix_3.3-1_ia64.deb	11-Feb-2008 17:17	295K
	acl2-infix_3.4-1_alpha.deb	26-Aug-2008 05:17	485K
	acl2-infix_3.4-1_amd64.deb	26-Aug-2008 01:32	432K
	acl2-infix_3.4-1_arm.deb	29-Aug-2008 07:32	379K
	acl2-infix_3.4-1_armel.deb	28-Aug-2008 04:17	388K
	acl2-infix_3.4-1_i386.deb	25-Aug-2008 19:32	390K
	acl2-infix_3.4-1_mips.deb	26-Aug-2008 11:02	438K
	acl2-infix_3.4-1_mipsel.deb	26-Aug-2008 08:47	409K
	acl2-infix_3.4-1_powerpc.deb	26-Aug-2008 05:47	504K
	acl2-infix_3.4-1_s390.deb	27-Aug-2008 19:17	451K
	acl2-source_3.1-1_all.deb	05-Dec-2006 06:47	2.2M
	acl2-source_3.4-1_all.deb	25-Aug-2008 19:32	2.5M
	acl2_3.1-1.diff.gz	05-Dec-2006 06:47	13K
	acl2_3.1-1.dsc	05-Dec-2006 06:47	822
	acl2_3.1-1_alpha.deb	05-Dec-2006 21:32	16M
	acl2_3.1-1_amd64.deb	05-Dec-2006 08:47	18M
	acl2_3.1-1_arm.deb	19-Dec-2006 04:00	16M
	acl2_3.1-1_hppa.deb	12-Dec-2006 16:02	15M
	acl2_3.1-1_i386.deb	05-Dec-2006 06:47	15M
	acl2_3.1-1_ia64.deb	06-Dec-2006 02:32	17M
	acl2_3.1-1_m68k.deb	12-Feb-2007 18:02	15M
	acl2_3.1-1_mips.deb	12-Dec-2006 18:02	15M
	acl2_3.1-1_mipsel.deb	08-Jan-2007 20:32	14M
	acl2_3.1-1_powerpc.deb	05-Dec-2006 21:32	17M
	acl2_3.1-1_s390.deb	06-Dec-2006 02:02	16M
	acl2_3.1-1_sparc.deb	01-Jan-2007 05:32	17M
	acl2_3.1.orig.tar.gz	05-Dec-2006 06:47	6.4M
	acl2_3.3-1.1.diff.gz	06-Apr-2008 17:32	13K
	acl2_3.3-1.1.dsc	06-Apr-2008 17:32	821
	acl2_3.3-1.1_sparc.deb	07-Apr-2008 03:32	18M
	acl2_3.3-1.diff.gz	04-Dec-2007 04:32	13K
	acl2_3.3-1.dsc	04-Dec-2007 04:32	811
	acl2_3.3-1_ia64.deb	11-Feb-2008 17:17	18M
	acl2_3.3.orig.tar.gz	04-Dec-2007 04:32	7.0M
	acl2_3.4-1.diff.gz	25-Aug-2008 19:32	13K
	acl2_3.4-1.dsc	25-Aug-2008 19:32	1.1K
	acl2_3.4-1_alpha.deb	26-Aug-2008 05:17	20M
	acl2_3.4-1_amd64.deb	26-Aug-2008 01:32	21M
	acl2_3.4-1_arm.deb	29-Aug-2008 07:32	19M
	acl2_3.4-1_armel.deb	28-Aug-2008 04:17	19M
	acl2_3.4-1_i386.deb	25-Aug-2008 19:32	18M
	acl2_3.4-1_mips.deb	26-Aug-2008 11:02	19M
	acl2_3.4-1_mipsel.deb	26-Aug-2008 08:47	18M
	acl2_3.4-1_powerpc.deb	26-Aug-2008 05:47	20M
	acl2_3.4-1_s390.deb	27-Aug-2008 19:17	20M
	acl2_3.4.orig.tar.gz	25-Aug-2008 19:32	7.6M