Index of /ubuntu/pool/universe/a/acl2

	Name	Last modified	Size	Description
	Parent Directory		-
	acl2-books-certs_2.9.3-7_all.deb	27-Oct-2005 17:20	367K
	acl2-books-certs_3.1-1_all.deb	06-Dec-2006 21:04	4.7M
	acl2-books-certs_3.3-1.1_all.deb	11-May-2008 15:04	1.2M
	acl2-books-certs_3.4-1_all.deb	05-Nov-2008 03:04	1.2M
	acl2-books-certs_3.4-2_all.deb	28-Apr-2009 17:05	1.2M
	acl2-books-source_2.9.3-7_all.deb	27-Oct-2005 17:20	1.2M
	acl2-books-source_3.1-1_all.deb	06-Dec-2006 21:04	2.1M
	acl2-books-source_3.3-1.1_all.deb	11-May-2008 15:04	2.3M
	acl2-books-source_3.4-1_all.deb	05-Nov-2008 03:04	2.7M
	acl2-books-source_3.4-2_all.deb	28-Apr-2009 17:05	2.7M
	acl2-books_2.9.3-7_amd64.deb	28-Oct-2005 20:45	1.1M
	acl2-books_2.9.3-7_i386.deb	27-Oct-2005 17:20	813K
	acl2-books_2.9.3-7_powerpc.deb	21-Dec-2005 01:55	1.2M
	acl2-books_2.9.3-7_sparc.deb	09-Nov-2005 06:50	1.0M
	acl2-books_3.1-1_i386.deb	06-Dec-2006 21:04	1.5M
	acl2-books_3.3-1.1_amd64.deb	11-May-2008 00:04	21M
	acl2-books_3.3-1.1_i386.deb	11-May-2008 15:04	18M
	acl2-books_3.3-1ubuntu1_amd64.deb	16-Feb-2008 19:03	6.1M
	acl2-books_3.4-1_amd64.deb	05-Nov-2008 17:10	24M
	acl2-books_3.4-1_i386.deb	05-Nov-2008 03:05	20M
	acl2-books_3.4-2_amd64.deb	28-Apr-2009 19:04	23M
	acl2-books_3.4-2_i386.deb	28-Apr-2009 17:06	20M
	acl2-doc_2.9.3-7_all.deb	27-Oct-2005 17:20	1.8M
	acl2-doc_3.1-1_all.deb	06-Dec-2006 21:04	1.9M
	acl2-doc_3.3-1.1_all.deb	11-May-2008 15:04	2.1M
	acl2-doc_3.4-1_all.deb	05-Nov-2008 03:04	2.2M
	acl2-doc_3.4-2_all.deb	28-Apr-2009 17:05	2.2M
	acl2-emacs_2.9.3-7_all.deb	27-Oct-2005 17:20	48K
	acl2-emacs_3.1-1_all.deb	06-Dec-2006 21:04	49K
	acl2-emacs_3.3-1.1_all.deb	11-May-2008 15:04	53K
	acl2-emacs_3.4-1_all.deb	05-Nov-2008 03:04	54K
	acl2-emacs_3.4-2_all.deb	28-Apr-2009 17:05	54K
	acl2-infix-source_2.9.3-7_all.deb	27-Oct-2005 17:20	83K
	acl2-infix-source_3.1-1_all.deb	06-Dec-2006 21:04	83K
	acl2-infix-source_3.3-1.1_all.deb	11-May-2008 15:04	84K
	acl2-infix-source_3.4-1_all.deb	05-Nov-2008 03:04	84K
	acl2-infix-source_3.4-2_all.deb	28-Apr-2009 17:05	84K
	acl2-infix_2.9.3-7_amd64.deb	28-Oct-2005 20:45	198K
	acl2-infix_2.9.3-7_i386.deb	27-Oct-2005 17:20	165K
	acl2-infix_2.9.3-7_powerpc.deb	21-Dec-2005 01:55	240K
	acl2-infix_2.9.3-7_sparc.deb	09-Nov-2005 06:50	217K
	acl2-infix_3.1-1_i386.deb	06-Dec-2006 21:04	166K
	acl2-infix_3.3-1.1_amd64.deb	11-May-2008 00:04	432K
	acl2-infix_3.3-1.1_i386.deb	11-May-2008 15:04	388K
	acl2-infix_3.3-1ubuntu1_amd64.deb	16-Feb-2008 19:03	195K
	acl2-infix_3.4-1_amd64.deb	05-Nov-2008 17:10	432K
	acl2-infix_3.4-1_i386.deb	05-Nov-2008 03:05	389K
	acl2-infix_3.4-2_amd64.deb	28-Apr-2009 19:04	408K
	acl2-infix_3.4-2_i386.deb	28-Apr-2009 17:05	375K
	acl2-source_2.9.3-7_all.deb	27-Oct-2005 17:20	2.0M
	acl2-source_3.1-1_all.deb	06-Dec-2006 21:04	2.2M
	acl2-source_3.3-1.1_all.deb	11-May-2008 15:04	2.4M
	acl2-source_3.4-1_all.deb	05-Nov-2008 03:04	2.5M
	acl2-source_3.4-2_all.deb	28-Apr-2009 17:05	2.5M
	acl2_2.9.3-7.diff.gz	24-Oct-2005 20:40	20K
	acl2_2.9.3-7.dsc	24-Oct-2005 20:40	805
	acl2_2.9.3-7_amd64.deb	28-Oct-2005 20:45	16M
	acl2_2.9.3-7_i386.deb	27-Oct-2005 17:20	13M
	acl2_2.9.3-7_powerpc.deb	21-Dec-2005 01:55	15M
	acl2_2.9.3-7_sparc.deb	09-Nov-2005 06:50	17M
	acl2_2.9.3.orig.tar.gz	08-Oct-2005 08:55	5.2M
	acl2_3.1-1_i386.deb	06-Dec-2006 21:04	15M
	acl2_3.3-1.1.diff.gz	09-May-2008 07:06	13K
	acl2_3.3-1.1.dsc	09-May-2008 07:06	821
	acl2_3.3-1.1_amd64.deb	11-May-2008 00:04	18M
	acl2_3.3-1.1_i386.deb	11-May-2008 15:04	16M
	acl2_3.3-1ubuntu1.diff.gz	16-Feb-2008 17:03	13K
	acl2_3.3-1ubuntu1.dsc	16-Feb-2008 17:03	1.0K
	acl2_3.3-1ubuntu1_amd64.deb	16-Feb-2008 19:03	18M
	acl2_3.3.orig.tar.gz	04-Dec-2007 05:05	7.0M
	acl2_3.4-1.diff.gz	04-Nov-2008 19:06	13K
	acl2_3.4-1.dsc	04-Nov-2008 19:06	1.1K
	acl2_3.4-1_amd64.deb	05-Nov-2008 17:10	21M
	acl2_3.4-1_i386.deb	05-Nov-2008 03:05	18M
	acl2_3.4-2.diff.gz	28-Apr-2009 15:04	14K
	acl2_3.4-2.dsc	28-Apr-2009 15:04	1.2K
	acl2_3.4-2_amd64.deb	28-Apr-2009 19:04	21M
	acl2_3.4-2_i386.deb	28-Apr-2009 17:06	18M
	acl2_3.4.orig.tar.gz	04-Nov-2008 19:06	7.6M