Index of /ubuntu-old/pool/universe/a/acl2/
../
acl2-books-certs_2.9-2_all.deb 12-Nov-2004 09:00 290K
acl2-books-certs_2.9.3-5build1_all.deb 08-Oct-2005 19:55 367K
acl2-books-certs_2.9.3-7_all.deb 27-Oct-2005 23:20 367K
acl2-books-certs_3.0-1_all.deb 21-Jun-2006 19:10 665K
acl2-books-certs_3.1-1_all.deb 07-Dec-2006 04:04 5M
acl2-books-certs_3.3-1.1_all.deb 11-May-2008 21:04 1M
acl2-books-certs_3.4-1_all.deb 05-Nov-2008 10:04 1M
acl2-books-certs_3.4-2_all.deb 28-Apr-2009 23:05 1M
acl2-books-certs_3.6-4_all.deb 16-Feb-2010 08:05 2M
acl2-books-certs_4.0-3_all.deb 08-Sep-2010 22:05 2M
acl2-books-certs_4.1-5_all.deb 09-Nov-2010 02:04 2M
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 03:03 2M
acl2-books-certs_4.3-3_all.deb 18-May-2012 14:33 4M
acl2-books-certs_6.0-2_all.deb 14-Jan-2013 07:33 5M
acl2-books-certs_6.2-6_all.deb 31-Jul-2013 14:38 10M
acl2-books-certs_6.4-4_all.deb 18-May-2014 12:50 4M
acl2-books-source_2.9-2_all.deb 12-Nov-2004 09:00 1M
acl2-books-source_2.9.3-5build1_all.deb 08-Oct-2005 19:55 1M
acl2-books-source_2.9.3-7_all.deb 27-Oct-2005 23:20 1M
acl2-books-source_3.0-1_all.deb 21-Jun-2006 19:10 2M
acl2-books-source_3.1-1_all.deb 07-Dec-2006 04:04 2M
acl2-books-source_3.3-1.1_all.deb 11-May-2008 21:04 2M
acl2-books-source_3.4-1_all.deb 05-Nov-2008 10:04 3M
acl2-books-source_3.4-2_all.deb 28-Apr-2009 23:05 3M
acl2-books-source_3.6-4_all.deb 16-Feb-2010 08:05 5M
acl2-books-source_4.0-3_all.deb 08-Sep-2010 22:05 5M
acl2-books-source_4.1-5_all.deb 09-Nov-2010 02:04 5M
acl2-books-source_4.2-1_all.deb 02-Sep-2011 03:03 5M
acl2-books-source_4.3-3_all.deb 18-May-2012 14:33 6M
acl2-books-source_6.0-2_all.deb 14-Jan-2013 07:33 7M
acl2-books-source_6.2-6_all.deb 31-Jul-2013 14:38 7M
acl2-books-source_6.4-4_all.deb 18-May-2014 12:50 6M
acl2-books_2.8-4_i386.deb 14-Aug-2004 06:30 855K
acl2-books_2.9-2_i386.deb 12-Nov-2004 09:00 814K
acl2-books_2.9.3-5build1_i386.deb 08-Oct-2005 19:55 813K
acl2-books_2.9.3-7_i386.deb 27-Oct-2005 23:20 813K
acl2-books_3.0-1_i386.deb 21-Jun-2006 19:10 1M
acl2-books_3.1-1_i386.deb 07-Dec-2006 04:04 2M
acl2-books_3.3-1.1_i386.deb 11-May-2008 21:04 18M
acl2-books_3.4-1_i386.deb 05-Nov-2008 10:05 20M
acl2-books_3.4-2_i386.deb 28-Apr-2009 23:06 20M
acl2-books_3.6-4_i386.deb 16-Feb-2010 08:05 29M
acl2-books_4.0-3_i386.deb 08-Sep-2010 22:05 32M
acl2-books_4.1-5_i386.deb 09-Nov-2010 02:04 34M
acl2-books_4.2-1_i386.deb 02-Sep-2011 03:04 34M
acl2-books_4.3-3_i386.deb 18-May-2012 14:33 13M
acl2-books_6.0-2_i386.deb 14-Jan-2013 07:33 16M
acl2-books_6.2-6_i386.deb 31-Jul-2013 14:38 30M
acl2-books_6.4-4_arm64.deb 24-Aug-2014 08:13 20M
acl2-books_6.4-4_i386.deb 18-May-2014 12:50 17M
acl2-doc_2.9-2_all.deb 12-Nov-2004 09:00 2M
acl2-doc_2.9.3-5build1_all.deb 08-Oct-2005 19:55 2M
acl2-doc_2.9.3-7_all.deb 27-Oct-2005 23:20 2M
acl2-doc_3.0-1_all.deb 21-Jun-2006 19:10 2M
acl2-doc_3.1-1_all.deb 07-Dec-2006 04:04 2M
acl2-doc_3.3-1.1_all.deb 11-May-2008 21:04 2M
acl2-doc_3.4-1_all.deb 05-Nov-2008 10:04 2M
acl2-doc_3.4-2_all.deb 28-Apr-2009 23:05 2M
acl2-doc_3.6-4_all.deb 16-Feb-2010 08:05 2M
acl2-doc_4.0-3_all.deb 08-Sep-2010 22:05 3M
acl2-doc_4.1-5_all.deb 09-Nov-2010 02:04 3M
acl2-doc_4.2-1_all.deb 02-Sep-2011 03:03 264K
acl2-doc_4.3-3_all.deb 18-May-2012 14:33 348K
acl2-doc_6.0-2_all.deb 14-Jan-2013 07:33 7M
acl2-doc_6.2-6_all.deb 31-Jul-2013 14:38 7M
acl2-doc_6.4-4_all.deb 18-May-2014 12:50 2M
acl2-emacs_2.9-2_all.deb 12-Nov-2004 09:00 48K
acl2-emacs_2.9.3-5build1_all.deb 08-Oct-2005 19:55 48K
acl2-emacs_2.9.3-7_all.deb 27-Oct-2005 23:20 48K
acl2-emacs_3.0-1_all.deb 21-Jun-2006 19:10 49K
acl2-emacs_3.1-1_all.deb 07-Dec-2006 04:04 49K
acl2-emacs_3.3-1.1_all.deb 11-May-2008 21:04 53K
acl2-emacs_3.4-1_all.deb 05-Nov-2008 10:04 54K
acl2-emacs_3.4-2_all.deb 28-Apr-2009 23:05 54K
acl2-emacs_3.6-4_all.deb 16-Feb-2010 08:05 56K
acl2-emacs_4.0-3_all.deb 08-Sep-2010 22:05 56K
acl2-emacs_4.1-5_all.deb 09-Nov-2010 02:04 50K
acl2-emacs_4.2-1_all.deb 02-Sep-2011 03:03 52K
acl2-emacs_4.3-3_all.deb 18-May-2012 14:33 53K
acl2-emacs_6.0-2_all.deb 14-Jan-2013 07:33 54K
acl2-emacs_6.2-6_all.deb 31-Jul-2013 14:38 53K
acl2-emacs_6.4-4_all.deb 18-May-2014 12:50 53K
acl2-infix-source_2.9-2_all.deb 12-Nov-2004 09:00 82K
acl2-infix-source_2.9.3-5build1_all.deb 08-Oct-2005 19:55 83K
acl2-infix-source_2.9.3-7_all.deb 27-Oct-2005 23:20 83K
acl2-infix-source_3.0-1_all.deb 21-Jun-2006 19:10 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 21:04 84K
acl2-infix-source_3.4-1_all.deb 05-Nov-2008 10:04 84K
acl2-infix-source_3.4-2_all.deb 28-Apr-2009 23:05 84K
acl2-infix-source_3.6-4_all.deb 16-Feb-2010 08:05 84K
acl2-infix-source_4.0-3_all.deb 08-Sep-2010 22:05 85K
acl2-infix-source_4.1-5_all.deb 09-Nov-2010 02:04 78K
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 03:03 80K
acl2-infix-source_4.3-3_all.deb 18-May-2012 14:33 86K
acl2-infix-source_6.0-2_all.deb 14-Jan-2013 07:33 87K
acl2-infix-source_6.2-6_all.deb 31-Jul-2013 14:38 86K
acl2-infix-source_6.4-4_all.deb 18-May-2014 12:50 70K
acl2-infix_2.8-4_i386.deb 14-Aug-2004 06:30 174K
acl2-infix_2.9-2_i386.deb 12-Nov-2004 09:00 177K
acl2-infix_2.9.3-5build1_i386.deb 08-Oct-2005 19:55 165K
acl2-infix_2.9.3-7_i386.deb 27-Oct-2005 23:20 165K
acl2-infix_3.0-1_i386.deb 21-Jun-2006 19:10 162K
acl2-infix_3.1-1_i386.deb 07-Dec-2006 04:04 166K
acl2-infix_3.3-1.1_i386.deb 11-May-2008 21:04 388K
acl2-infix_3.4-1_i386.deb 05-Nov-2008 10:05 389K
acl2-infix_3.4-2_i386.deb 28-Apr-2009 23:05 375K
acl2-infix_3.6-4_i386.deb 16-Feb-2010 08:05 379K
acl2-infix_4.0-3_i386.deb 08-Sep-2010 22:05 380K
acl2-infix_4.1-5_i386.deb 09-Nov-2010 02:04 403K
acl2-infix_4.2-1_i386.deb 02-Sep-2011 03:04 400K
acl2-infix_4.3-3_i386.deb 18-May-2012 14:33 173K
acl2-infix_6.0-2_i386.deb 14-Jan-2013 07:33 174K
acl2-infix_6.2-6_i386.deb 31-Jul-2013 14:38 181K
acl2-infix_6.4-4_arm64.deb 24-Aug-2014 08:13 141K
acl2-infix_6.4-4_i386.deb 18-May-2014 12:50 136K
acl2-source_2.9-2_all.deb 12-Nov-2004 09:00 2M
acl2-source_2.9.3-5build1_all.deb 08-Oct-2005 19:55 2M
acl2-source_2.9.3-7_all.deb 27-Oct-2005 23:20 2M
acl2-source_3.0-1_all.deb 21-Jun-2006 19:10 2M
acl2-source_3.1-1_all.deb 07-Dec-2006 04:04 2M
acl2-source_3.3-1.1_all.deb 11-May-2008 21:04 2M
acl2-source_3.4-1_all.deb 05-Nov-2008 10:04 2M
acl2-source_3.4-2_all.deb 28-Apr-2009 23:05 2M
acl2-source_3.6-4_all.deb 16-Feb-2010 08:05 3M
acl2-source_4.0-3_all.deb 08-Sep-2010 22:05 3M
acl2-source_4.1-5_all.deb 09-Nov-2010 02:04 3M
acl2-source_4.2-1_all.deb 02-Sep-2011 03:03 3M
acl2-source_4.3-3_all.deb 18-May-2012 14:33 3M
acl2-source_6.0-2_all.deb 14-Jan-2013 07:33 4M
acl2-source_6.2-6_all.deb 31-Jul-2013 14:38 4M
acl2-source_6.4-4_all.deb 18-May-2014 12:50 3M
acl2_2.8-4.diff.gz 26-Jul-2004 23:46 12K
acl2_2.8-4.dsc 26-Jul-2004 23:46 795
acl2_2.8-4_i386.deb 14-Aug-2004 06:30 12M
acl2_2.8.orig.tar.gz 26-Jul-2004 23:46 5M
acl2_2.9-2.diff.gz 12-Nov-2004 03:18 18K
acl2_2.9-2.dsc 12-Nov-2004 03:18 794
acl2_2.9-2_i386.deb 12-Nov-2004 09:00 13M
acl2_2.9.3-5build1.diff.gz 08-Oct-2005 18:15 19K
acl2_2.9.3-5build1.dsc 08-Oct-2005 18:15 816
acl2_2.9.3-5build1_i386.deb 08-Oct-2005 19:55 13M
acl2_2.9.3-7.diff.gz 25-Oct-2005 02:40 20K
acl2_2.9.3-7.dsc 25-Oct-2005 02:40 805
acl2_2.9.3-7_i386.deb 27-Oct-2005 23:20 13M
acl2_2.9.3.orig.tar.gz 08-Oct-2005 14:55 5M
acl2_2.9.orig.tar.gz 30-Oct-2004 02:18 5M
acl2_3.0-1.diff.gz 15-Jun-2006 17:58 13K
acl2_3.0-1.dsc 15-Jun-2006 17:58 797
acl2_3.0-1_i386.deb 21-Jun-2006 19:10 14M
acl2_3.0.orig.tar.gz 15-Jun-2006 17:58 6M
acl2_3.1-1.diff.gz 06-Dec-2006 15:05 13K
acl2_3.1-1.dsc 06-Dec-2006 15:05 822
acl2_3.1-1_i386.deb 07-Dec-2006 04:04 15M
acl2_3.1.orig.tar.gz 06-Dec-2006 15:05 6M
acl2_3.2-1.diff.gz 21-May-2007 09:03 13K
acl2_3.2-1.dsc 21-May-2007 09:03 822
acl2_3.2.orig.tar.gz 21-May-2007 09:03 7M
acl2_3.3-1.1.diff.gz 09-May-2008 13:06 13K
acl2_3.3-1.1.dsc 09-May-2008 13:06 821
acl2_3.3-1.1_i386.deb 11-May-2008 21:04 16M
acl2_3.3-1ubuntu1.diff.gz 17-Feb-2008 00:03 13K
acl2_3.3-1ubuntu1.dsc 17-Feb-2008 00:03 1037
acl2_3.3.orig.tar.gz 04-Dec-2007 12:05 7M
acl2_3.4-1.diff.gz 05-Nov-2008 02:06 13K
acl2_3.4-1.dsc 05-Nov-2008 02:06 1177
acl2_3.4-1_i386.deb 05-Nov-2008 10:05 18M
acl2_3.4-2.diff.gz 28-Apr-2009 21:04 14K
acl2_3.4-2.dsc 28-Apr-2009 21:04 1183
acl2_3.4-2_i386.deb 28-Apr-2009 23:06 18M
acl2_3.4.orig.tar.gz 05-Nov-2008 02:06 8M
acl2_3.6-4.diff.gz 02-Feb-2010 00:06 15K
acl2_3.6-4.dsc 02-Feb-2010 00:06 1168
acl2_3.6-4_i386.deb 16-Feb-2010 08:05 20M
acl2_3.6.orig.tar.gz 02-Feb-2010 00:06 10M
acl2_4.0-3.diff.gz 07-Sep-2010 00:05 16K
acl2_4.0-3.dsc 07-Sep-2010 00:05 1168
acl2_4.0-3_i386.deb 08-Sep-2010 22:05 21M
acl2_4.0.orig.tar.gz 07-Sep-2010 00:05 11M
acl2_4.1-5.debian.tar.gz 07-Nov-2010 12:05 17K
acl2_4.1-5.dsc 07-Nov-2010 12:05 1194
acl2_4.1-5_i386.deb 09-Nov-2010 02:04 21M
acl2_4.1.orig.tar.gz 15-Oct-2010 11:08 11M
acl2_4.2-1.debian.tar.gz 15-May-2011 13:04 17K
acl2_4.2-1.dsc 15-May-2011 13:04 1194
acl2_4.2-1_i386.deb 02-Sep-2011 03:04 22M
acl2_4.2.orig.tar.gz 15-May-2011 13:04 11M
acl2_4.3-3.debian.tar.gz 06-May-2012 04:34 18K
acl2_4.3-3.dsc 06-May-2012 04:34 1491
acl2_4.3-3_i386.deb 18-May-2012 14:33 23M
acl2_4.3.orig.tar.gz 30-Apr-2012 19:43 15M
acl2_6.0-2.debian.tar.gz 14-Jan-2013 05:33 155K
acl2_6.0-2.dsc 14-Jan-2013 05:33 1741
acl2_6.0-2_i386.deb 14-Jan-2013 07:33 26M
acl2_6.0.orig-books.tar.gz 13-Jan-2013 11:33 10M
acl2_6.0.orig.tar.gz 13-Jan-2013 11:33 6M
acl2_6.2-6.debian.tar.gz 31-Jul-2013 09:38 157K
acl2_6.2-6.dsc 31-Jul-2013 09:38 1746
acl2_6.2-6_i386.deb 31-Jul-2013 14:38 23M
acl2_6.2.orig-books.tar.gz 13-Jul-2013 11:28 11M
acl2_6.2.orig.tar.gz 13-Jul-2013 11:28 7M
acl2_6.4-4.debian.tar.xz 18-May-2014 11:13 124K
acl2_6.4-4.dsc 18-May-2014 11:13 1814
acl2_6.4-4_arm64.deb 24-Aug-2014 08:13 14M
acl2_6.4-4_i386.deb 18-May-2014 12:50 12M
acl2_6.4.orig-books.tar.gz 02-May-2014 23:18 14M
acl2_6.4.orig.tar.gz 02-May-2014 23:18 6M