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

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