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

File NameFile SizeDate
Parent directory/--
acl2-books-certs_3.1-1_all.deb 5M07-Dec-2006 04:04
acl2-books-certs_3.3-1.1_all.deb 1M11-May-2008 21:04
acl2-books-certs_3.4-1_all.deb 1M05-Nov-2008 10:04
acl2-books-certs_3.4-2_all.deb 1M28-Apr-2009 23:05
acl2-books-certs_4.0-3_all.deb 2M08-Sep-2010 22:05
acl2-books-certs_4.1-5_all.deb 2M09-Nov-2010 02:04
acl2-books-certs_4.2-1_all.deb 2M02-Sep-2011 03:03
acl2-books-certs_4.3-3_all.deb 4M18-May-2012 14:33
acl2-books-certs_6.0-2_all.deb 5M14-Jan-2013 07:33
acl2-books-source_3.1-1_all.deb 2M07-Dec-2006 04:04
acl2-books-source_3.3-1.1_all.deb 2M11-May-2008 21:04
acl2-books-source_3.4-1_all.deb 3M05-Nov-2008 10:04
acl2-books-source_3.4-2_all.deb 3M28-Apr-2009 23:05
acl2-books-source_4.0-3_all.deb 5M08-Sep-2010 22:05
acl2-books-source_4.1-5_all.deb 5M09-Nov-2010 02:04
acl2-books-source_4.2-1_all.deb 5M02-Sep-2011 03:03
acl2-books-source_4.3-3_all.deb 6M18-May-2012 14:33
acl2-books-source_6.0-2_all.deb 7M14-Jan-2013 07:33
acl2-books_3.1-1_i386.deb 2M07-Dec-2006 04:04
acl2-books_3.3-1.1_i386.deb 18M11-May-2008 21:04
acl2-books_3.4-1_i386.deb 20M05-Nov-2008 10:05
acl2-books_3.4-2_i386.deb 20M28-Apr-2009 23:06
acl2-books_4.0-3_i386.deb 32M08-Sep-2010 22:05
acl2-books_4.1-5_i386.deb 34M09-Nov-2010 02:04
acl2-books_4.2-1_i386.deb 34M02-Sep-2011 03:04
acl2-books_4.3-3_i386.deb 13M18-May-2012 14:33
acl2-books_6.0-2_i386.deb 16M14-Jan-2013 07:33
acl2-doc_3.1-1_all.deb 2M07-Dec-2006 04:04
acl2-doc_3.3-1.1_all.deb 2M11-May-2008 21:04
acl2-doc_3.4-1_all.deb 2M05-Nov-2008 10:04
acl2-doc_3.4-2_all.deb 2M28-Apr-2009 23:05
acl2-doc_4.0-3_all.deb 3M08-Sep-2010 22:05
acl2-doc_4.1-5_all.deb 3M09-Nov-2010 02:04
acl2-doc_4.2-1_all.deb 264K02-Sep-2011 03:03
acl2-doc_4.3-3_all.deb 348K18-May-2012 14:33
acl2-doc_6.0-2_all.deb 7M14-Jan-2013 07:33
acl2-emacs_3.1-1_all.deb 49K07-Dec-2006 04:04
acl2-emacs_3.3-1.1_all.deb 53K11-May-2008 21:04
acl2-emacs_3.4-1_all.deb 54K05-Nov-2008 10:04
acl2-emacs_3.4-2_all.deb 54K28-Apr-2009 23:05
acl2-emacs_4.0-3_all.deb 56K08-Sep-2010 22:05
acl2-emacs_4.1-5_all.deb 50K09-Nov-2010 02:04
acl2-emacs_4.2-1_all.deb 52K02-Sep-2011 03:03
acl2-emacs_4.3-3_all.deb 53K18-May-2012 14:33
acl2-emacs_6.0-2_all.deb 54K14-Jan-2013 07:33
acl2-infix-source_3.1-1_all.deb 83K07-Dec-2006 04:04
acl2-infix-source_3.3-1.1_all.deb 84K11-May-2008 21:04
acl2-infix-source_3.4-1_all.deb 84K05-Nov-2008 10:04
acl2-infix-source_3.4-2_all.deb 84K28-Apr-2009 23:05
acl2-infix-source_4.0-3_all.deb 85K08-Sep-2010 22:05
acl2-infix-source_4.1-5_all.deb 78K09-Nov-2010 02:04
acl2-infix-source_4.2-1_all.deb 80K02-Sep-2011 03:03
acl2-infix-source_4.3-3_all.deb 86K18-May-2012 14:33
acl2-infix-source_6.0-2_all.deb 87K14-Jan-2013 07:33
acl2-infix_3.1-1_i386.deb 166K07-Dec-2006 04:04
acl2-infix_3.3-1.1_i386.deb 388K11-May-2008 21:04
acl2-infix_3.4-1_i386.deb 389K05-Nov-2008 10:05
acl2-infix_3.4-2_i386.deb 375K28-Apr-2009 23:05
acl2-infix_4.0-3_i386.deb 380K08-Sep-2010 22:05
acl2-infix_4.1-5_i386.deb 403K09-Nov-2010 02:04
acl2-infix_4.2-1_i386.deb 400K02-Sep-2011 03:04
acl2-infix_4.3-3_i386.deb 173K18-May-2012 14:33
acl2-infix_6.0-2_i386.deb 174K14-Jan-2013 07:33
acl2-source_3.1-1_all.deb 2M07-Dec-2006 04:04
acl2-source_3.3-1.1_all.deb 2M11-May-2008 21:04
acl2-source_3.4-1_all.deb 2M05-Nov-2008 10:04
acl2-source_3.4-2_all.deb 2M28-Apr-2009 23:05
acl2-source_4.0-3_all.deb 3M08-Sep-2010 22:05
acl2-source_4.1-5_all.deb 3M09-Nov-2010 02:04
acl2-source_4.2-1_all.deb 3M02-Sep-2011 03:03
acl2-source_4.3-3_all.deb 3M18-May-2012 14:33
acl2-source_6.0-2_all.deb 4M14-Jan-2013 07:33
acl2_3.1-1_i386.deb 15M07-Dec-2006 04:04
acl2_3.3-1.1_i386.deb 16M11-May-2008 21:04
acl2_3.4-1_i386.deb 18M05-Nov-2008 10:05
acl2_3.4-2_i386.deb 18M28-Apr-2009 23:06
acl2_4.0-3_i386.deb 21M08-Sep-2010 22:05
acl2_4.1-5_i386.deb 21M09-Nov-2010 02:04
acl2_4.2-1_i386.deb 22M02-Sep-2011 03:04
acl2_4.3-3_i386.deb 23M18-May-2012 14:33
acl2_6.0-2_i386.deb 26M14-Jan-2013 07:33