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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] acl2-books-certs_2.9..> 11-Nov-2004 03:02  289K  
[   ] acl2-books-certs_3.1..> 04-Dec-2006 19:47  4.7M  
[   ] acl2-books-certs_4.0..> 09-Jul-2010 17:02  1.9M  
[   ] acl2-books-certs_4.3..> 20-Apr-2012 19:38  4.2M  
[   ] acl2-books-certs_6.5..> 08-Sep-2014 14:35  6.2M  
[   ] acl2-books-certs_6.5..> 14-Jan-2015 16:26   19M  
[   ] acl2-books-source_2...> 11-Nov-2004 03:02  1.2M  
[   ] acl2-books-source_3...> 04-Dec-2006 19:47  2.1M  
[   ] acl2-books-source_4...> 09-Jul-2010 17:02  5.0M  
[   ] acl2-books-source_4...> 20-Apr-2012 19:38  6.2M  
[   ] acl2-books-source_6...> 08-Sep-2014 14:35  6.6M  
[   ] acl2-books-source_6...> 14-Jan-2015 16:26   10M  
[   ] acl2-books_2.9-2_alp..> 11-Nov-2004 16:32  1.4M  
[   ] acl2-books_2.9-2_arm..> 15-Nov-2004 00:17  904K  
[   ] acl2-books_2.9-2_hpp..> 25-Nov-2004 01:47  6.5M  
[   ] acl2-books_2.9-2_i38..> 11-Nov-2004 03:02  814K  
[   ] acl2-books_2.9-2_ia6..> 25-Nov-2004 01:47  1.4M  
[   ] acl2-books_2.9-2_m68..> 16-Nov-2004 09:02  782K  
[   ] acl2-books_2.9-2_mip..> 16-Nov-2004 17:47  1.1M  
[   ] acl2-books_2.9-2_mip..> 12-Nov-2004 19:32  1.0M  
[   ] acl2-books_2.9-2_pow..> 11-Nov-2004 16:32  1.2M  
[   ] acl2-books_2.9-2_s39..> 11-Nov-2004 10:32  923K  
[   ] acl2-books_2.9-2_spa..> 28-Nov-2004 16:32  972K  
[   ] acl2-books_3.1-1_alp..> 05-Dec-2006 10:32  2.7M  
[   ] acl2-books_3.1-1_amd..> 04-Dec-2006 21:47  2.2M  
[   ] acl2-books_3.1-1_arm..> 18-Dec-2006 17:00  1.6M  
[   ] acl2-books_3.1-1_hpp..> 12-Dec-2006 05:02  7.4M  
[   ] acl2-books_3.1-1_i38..> 04-Dec-2006 19:47  1.5M  
[   ] acl2-books_3.1-1_ia6..> 05-Dec-2006 15:32  2.8M  
[   ] acl2-books_3.1-1_m68..> 12-Feb-2007 07:02  1.6M  
[   ] acl2-books_3.1-1_mip..> 12-Dec-2006 07:02  2.0M  
[   ] acl2-books_3.1-1_mip..> 08-Jan-2007 09:32  1.9M  
[   ] acl2-books_3.1-1_pow..> 05-Dec-2006 10:32  2.2M  
[   ] acl2-books_3.1-1_s39..> 05-Dec-2006 15:02  1.7M  
[   ] acl2-books_3.1-1_spa..> 31-Dec-2006 18:32  1.8M  
[   ] acl2-books_4.0-3_amd..> 09-Jul-2010 21:32   37M  
[   ] acl2-books_4.0-3_arm..> 11-Jul-2010 17:17   33M  
[   ] acl2-books_4.0-3_i38..> 09-Jul-2010 17:02   32M  
[   ] acl2-books_4.0-3_ia6..> 10-Jul-2010 11:17   40M  
[   ] acl2-books_4.0-3_kfr..> 09-Jul-2010 23:17   37M  
[   ] acl2-books_4.0-3_kfr..> 09-Jul-2010 23:32   32M  
[   ] acl2-books_4.0-3_mip..> 23-Jul-2010 14:32   37M  
[   ] acl2-books_4.0-3_mip..> 19-Jul-2010 15:47   13M  
[   ] acl2-books_4.0-3_pow..> 19-Jul-2010 20:47   42M  
[   ] acl2-books_4.0-3_s39..> 10-Jul-2010 09:47   40M  
[   ] acl2-books_4.0-3_spa..> 17-Jul-2010 14:47   35M  
[   ] acl2-books_4.3-3_amd..> 21-Apr-2012 00:02   15M  
[   ] acl2-books_4.3-3_arm..> 22-Apr-2012 02:47   36M  
[   ] acl2-books_4.3-3_arm..> 21-Apr-2012 22:17   36M  
[   ] acl2-books_4.3-3_i38..> 20-Apr-2012 19:38   13M  
[   ] acl2-books_4.3-3_ia6..> 23-Apr-2012 14:47   18M  
[   ] acl2-books_4.3-3_kfr..> 21-Apr-2012 12:32   15M  
[   ] acl2-books_4.3-3_kfr..> 21-Apr-2012 01:02   13M  
[   ] acl2-books_4.3-3_mip..> 21-Apr-2012 20:47   16M  
[   ] acl2-books_4.3-3_mip..> 26-Apr-2012 21:49   15M  
[   ] acl2-books_4.3-3_pow..> 21-Apr-2012 01:47   15M  
[   ] acl2-books_4.3-3_s39..> 20-Apr-2012 23:17   13M  
[   ] acl2-books_4.3-3_s39..> 21-Apr-2012 08:47   15M  
[   ] acl2-books_4.3-3_spa..> 21-Apr-2012 23:02   15M  
[   ] acl2-books_6.5-2_amd..> 08-Sep-2014 14:35   22M  
[   ] acl2-books_6.5-2_arm..> 16-Sep-2014 23:00   22M  
[   ] acl2-books_6.5-2_arm..> 09-Sep-2014 11:25   65M  
[   ] acl2-books_6.5-2_arm..> 12-Sep-2014 10:12   67M  
[   ] acl2-books_6.5-2_i38..> 08-Sep-2014 21:44   21M  
[   ] acl2-books_6.5-2_kfr..> 09-Sep-2014 06:43   22M  
[   ] acl2-books_6.5-2_kfr..> 09-Sep-2014 10:04   18M  
[   ] acl2-books_6.5-2_mip..> 02-Oct-2014 23:44   20M  
[   ] acl2-books_6.5-2_mip..> 28-Sep-2014 20:37   20M  
[   ] acl2-books_6.5-2_pow..> 08-Sep-2014 17:57   18M  
[   ] acl2-books_6.5-2_ppc..> 09-Sep-2014 04:07   19M  
[   ] acl2-books_6.5-2_s39..> 09-Sep-2014 00:46   20M  
[   ] acl2-books_6.5-2~bpo..> 14-Jan-2015 16:26   47M  
[   ] acl2-doc_2.9-2_all.deb  11-Nov-2004 03:02  1.7M  
[   ] acl2-doc_3.1-1_all.deb  04-Dec-2006 19:47  1.9M  
[   ] acl2-doc_4.0-3_all.deb  09-Jul-2010 17:02  2.7M  
[   ] acl2-doc_4.3-3_all.deb  20-Apr-2012 19:38  354K  
[   ] acl2-doc_6.5-2_all.deb  08-Sep-2014 14:35  1.6M  
[   ] acl2-doc_6.5-2~bpo70..> 14-Jan-2015 16:26  2.2M  
[   ] acl2-emacs_2.9-2_all..> 30-Apr-2005 11:19   48K  
[   ] acl2-emacs_3.1-1_all..> 04-Dec-2006 19:47   49K  
[   ] acl2-emacs_4.0-3_all..> 09-Jul-2010 17:02   57K  
[   ] acl2-emacs_4.3-3_all..> 20-Apr-2012 19:38   59K  
[   ] acl2-emacs_6.5-2_all..> 08-Sep-2014 14:35   59K  
[   ] acl2-emacs_6.5-2~bpo..> 14-Jan-2015 16:26   71K  
[   ] acl2-infix-source_2...> 11-Nov-2004 03:02   82K  
[   ] acl2-infix-source_3...> 04-Dec-2006 19:47   83K  
[   ] acl2-infix-source_4...> 09-Jul-2010 17:02   87K  
[   ] acl2-infix-source_4...> 20-Apr-2012 19:38   89K  
[   ] acl2-infix-source_6...> 08-Sep-2014 14:35   78K  
[   ] acl2-infix-source_6...> 14-Jan-2015 16:26   90K  
[   ] acl2-infix_2.9-2_alp..> 11-Nov-2004 16:32  285K  
[   ] acl2-infix_2.9-2_arm..> 15-Nov-2004 00:17  204K  
[   ] acl2-infix_2.9-2_hpp..> 25-Nov-2004 01:47  382K  
[   ] acl2-infix_2.9-2_i38..> 11-Nov-2004 03:02  177K  
[   ] acl2-infix_2.9-2_ia6..> 25-Nov-2004 01:47  344K  
[   ] acl2-infix_2.9-2_m68..> 16-Nov-2004 09:02  174K  
[   ] acl2-infix_2.9-2_mip..> 16-Nov-2004 17:47  251K  
[   ] acl2-infix_2.9-2_mip..> 12-Nov-2004 19:32  239K  
[   ] acl2-infix_2.9-2_pow..> 11-Nov-2004 16:32  307K  
[   ] acl2-infix_2.9-2_s39..> 11-Nov-2004 10:32  178K  
[   ] acl2-infix_2.9-2_spa..> 28-Nov-2004 16:32  249K  
[   ] acl2-infix_3.1-1_alp..> 05-Dec-2006 10:32  251K  
[   ] acl2-infix_3.1-1_amd..> 04-Dec-2006 21:47  194K  
[   ] acl2-infix_3.1-1_arm..> 18-Dec-2006 17:00  186K  
[   ] acl2-infix_3.1-1_hpp..> 12-Dec-2006 05:02  408K  
[   ] acl2-infix_3.1-1_i38..> 04-Dec-2006 19:47  168K  
[   ] acl2-infix_3.1-1_ia6..> 05-Dec-2006 15:32  297K  
[   ] acl2-infix_3.1-1_m68..> 12-Feb-2007 07:02  191K  
[   ] acl2-infix_3.1-1_mip..> 12-Dec-2006 07:02  197K  
[   ] acl2-infix_3.1-1_mip..> 08-Jan-2007 09:32  192K  
[   ] acl2-infix_3.1-1_pow..> 05-Dec-2006 10:32  243K  
[   ] acl2-infix_3.1-1_s39..> 05-Dec-2006 15:02  162K  
[   ] acl2-infix_3.1-1_spa..> 31-Dec-2006 18:32  218K  
[   ] acl2-infix_4.0-3_amd..> 09-Jul-2010 21:32  420K  
[   ] acl2-infix_4.0-3_arm..> 11-Jul-2010 17:17  384K  
[   ] acl2-infix_4.0-3_i38..> 09-Jul-2010 17:02  381K  
[   ] acl2-infix_4.0-3_ia6..> 10-Jul-2010 11:17  560K  
[   ] acl2-infix_4.0-3_kfr..> 09-Jul-2010 23:17  421K  
[   ] acl2-infix_4.0-3_kfr..> 09-Jul-2010 23:32  380K  
[   ] acl2-infix_4.0-3_mip..> 23-Jul-2010 14:32  427K  
[   ] acl2-infix_4.0-3_mip..> 19-Jul-2010 15:47  187K  
[   ] acl2-infix_4.0-3_pow..> 19-Jul-2010 20:47  511K  
[   ] acl2-infix_4.0-3_s39..> 10-Jul-2010 09:47  449K  
[   ] acl2-infix_4.0-3_spa..> 17-Jul-2010 14:47  442K  
[   ] acl2-infix_4.3-3_amd..> 21-Apr-2012 00:02  199K  
[   ] acl2-infix_4.3-3_arm..> 22-Apr-2012 02:47  369K  
[   ] acl2-infix_4.3-3_arm..> 21-Apr-2012 22:17  401K  
[   ] acl2-infix_4.3-3_i38..> 20-Apr-2012 19:38  180K  
[   ] acl2-infix_4.3-3_ia6..> 23-Apr-2012 14:47  256K  
[   ] acl2-infix_4.3-3_kfr..> 21-Apr-2012 12:32  201K  
[   ] acl2-infix_4.3-3_kfr..> 21-Apr-2012 01:02  178K  
[   ] acl2-infix_4.3-3_mip..> 21-Apr-2012 20:47  226K  
[   ] acl2-infix_4.3-3_mip..> 26-Apr-2012 21:49  214K  
[   ] acl2-infix_4.3-3_pow..> 21-Apr-2012 01:47  218K  
[   ] acl2-infix_4.3-3_s39..> 20-Apr-2012 23:17  167K  
[   ] acl2-infix_4.3-3_s39..> 21-Apr-2012 08:47  190K  
[   ] acl2-infix_4.3-3_spa..> 21-Apr-2012 23:02  212K  
[   ] acl2-infix_6.5-2_amd..> 08-Sep-2014 14:35  147K  
[   ] acl2-infix_6.5-2_arm..> 16-Sep-2014 23:00  149K  
[   ] acl2-infix_6.5-2_arm..> 09-Sep-2014 11:25  403K  
[   ] acl2-infix_6.5-2_arm..> 12-Sep-2014 10:12  424K  
[   ] acl2-infix_6.5-2_i38..> 08-Sep-2014 21:44  148K  
[   ] acl2-infix_6.5-2_kfr..> 09-Sep-2014 06:43  145K  
[   ] acl2-infix_6.5-2_kfr..> 09-Sep-2014 10:04  147K  
[   ] acl2-infix_6.5-2_mip..> 02-Oct-2014 23:44  145K  
[   ] acl2-infix_6.5-2_mip..> 28-Sep-2014 20:37  146K  
[   ] acl2-infix_6.5-2_pow..> 08-Sep-2014 17:57  136K  
[   ] acl2-infix_6.5-2_ppc..> 09-Sep-2014 04:07  152K  
[   ] acl2-infix_6.5-2_s39..> 09-Sep-2014 00:46  138K  
[   ] acl2-infix_6.5-2~bpo..> 14-Jan-2015 16:26  219K  
[   ] acl2-source_2.9-2_al..> 11-Nov-2004 03:02  2.0M  
[   ] acl2-source_3.1-1_al..> 04-Dec-2006 19:47  2.2M  
[   ] acl2-source_4.0-3_al..> 09-Jul-2010 17:02  2.9M  
[   ] acl2-source_4.3-3_al..> 20-Apr-2012 19:38  3.1M  
[   ] acl2-source_6.5-2_al..> 08-Sep-2014 14:35  2.6M  
[   ] acl2-source_6.5-2~bp..> 14-Jan-2015 16:26  3.7M  
[   ] acl2_2.9-2.diff.gz      11-Nov-2004 03:02   18K  
[TXT] acl2_2.9-2.dsc          30-Apr-2005 11:19  794   
[   ] acl2_2.9-2_alpha.deb    11-Nov-2004 16:32   15M  
[   ] acl2_2.9-2_arm.deb      15-Nov-2004 00:17   14M  
[   ] acl2_2.9-2_hppa.deb     25-Nov-2004 01:47   14M  
[   ] acl2_2.9-2_i386.deb     11-Nov-2004 03:02   13M  
[   ] acl2_2.9-2_ia64.deb     25-Nov-2004 01:47   16M  
[   ] acl2_2.9-2_m68k.deb     16-Nov-2004 09:02   13M  
[   ] acl2_2.9-2_mips.deb     16-Nov-2004 17:47   14M  
[   ] acl2_2.9-2_mipsel.deb   12-Nov-2004 19:32   13M  
[   ] acl2_2.9-2_powerpc.deb  11-Nov-2004 16:32   15M  
[   ] acl2_2.9-2_s390.deb     11-Nov-2004 10:32   14M  
[   ] acl2_2.9-2_sparc.deb    28-Nov-2004 16:32   21M  
[   ] acl2_2.9.orig.tar.gz    30-Apr-2005 11:19  5.0M  
[   ] acl2_3.1-1.diff.gz      04-Dec-2006 19:47   13K  
[TXT] acl2_3.1-1.dsc          04-Dec-2006 19:47  822   
[   ] acl2_3.1-1_alpha.deb    05-Dec-2006 10:32   16M  
[   ] acl2_3.1-1_amd64.deb    04-Dec-2006 21:47   18M  
[   ] acl2_3.1-1_arm.deb      18-Dec-2006 17:00   16M  
[   ] acl2_3.1-1_hppa.deb     12-Dec-2006 05:02   15M  
[   ] acl2_3.1-1_i386.deb     04-Dec-2006 19:47   15M  
[   ] acl2_3.1-1_ia64.deb     05-Dec-2006 15:32   17M  
[   ] acl2_3.1-1_m68k.deb     12-Feb-2007 07:02   15M  
[   ] acl2_3.1-1_mips.deb     12-Dec-2006 07:02   15M  
[   ] acl2_3.1-1_mipsel.deb   08-Jan-2007 09:32   14M  
[   ] acl2_3.1-1_powerpc.deb  05-Dec-2006 10:32   17M  
[   ] acl2_3.1-1_s390.deb     05-Dec-2006 15:02   16M  
[   ] acl2_3.1-1_sparc.deb    31-Dec-2006 18:32   17M  
[   ] acl2_3.1.orig.tar.gz    04-Dec-2006 19:47  6.4M  
[   ] acl2_4.0-3.diff.gz      09-Jul-2010 17:02   16K  
[TXT] acl2_4.0-3.dsc          09-Jul-2010 17:02  1.1K  
[   ] acl2_4.0-3_amd64.deb    09-Jul-2010 21:32   25M  
[   ] acl2_4.0-3_armel.deb    11-Jul-2010 17:17   22M  
[   ] acl2_4.0-3_i386.deb     09-Jul-2010 17:02   21M  
[   ] acl2_4.0-3_ia64.deb     10-Jul-2010 11:17   24M  
[   ] acl2_4.0-3_kfreebsd-..> 09-Jul-2010 23:17   25M  
[   ] acl2_4.0-3_kfreebsd-..> 09-Jul-2010 23:32   21M  
[   ] acl2_4.0-3_mips.deb     23-Jul-2010 14:32   22M  
[   ] acl2_4.0-3_mipsel.deb   19-Jul-2010 15:47   21M  
[   ] acl2_4.0-3_powerpc.deb  19-Jul-2010 20:47   24M  
[   ] acl2_4.0-3_s390.deb     10-Jul-2010 09:47   24M  
[   ] acl2_4.0-3_sparc.deb    17-Jul-2010 14:47   26M  
[   ] acl2_4.0.orig.tar.gz    08-Jul-2010 04:47   11M  
[   ] acl2_4.3-3.debian.ta..> 20-Apr-2012 19:38   18K  
[TXT] acl2_4.3-3.dsc          20-Apr-2012 19:38  1.5K  
[   ] acl2_4.3-3_amd64.deb    21-Apr-2012 00:02   27M  
[   ] acl2_4.3-3_armel.deb    22-Apr-2012 02:47   23M  
[   ] acl2_4.3-3_armhf.deb    21-Apr-2012 22:17   22M  
[   ] acl2_4.3-3_i386.deb     20-Apr-2012 19:38   23M  
[   ] acl2_4.3-3_ia64.deb     23-Apr-2012 14:47   25M  
[   ] acl2_4.3-3_kfreebsd-..> 21-Apr-2012 12:32   27M  
[   ] acl2_4.3-3_kfreebsd-..> 21-Apr-2012 01:02   23M  
[   ] acl2_4.3-3_mips.deb     21-Apr-2012 20:47   24M  
[   ] acl2_4.3-3_mipsel.deb   26-Apr-2012 21:49   23M  
[   ] acl2_4.3-3_powerpc.deb  21-Apr-2012 01:47   25M  
[   ] acl2_4.3-3_s390.deb     20-Apr-2012 23:17   25M  
[   ] acl2_4.3-3_s390x.deb    21-Apr-2012 08:47   29M  
[   ] acl2_4.3-3_sparc.deb    21-Apr-2012 23:02   27M  
[   ] acl2_4.3.orig.tar.gz    11-Jan-2012 19:47   15M  
[   ] acl2_6.5-2.debian.ta..> 08-Sep-2014 14:35  125K  
[TXT] acl2_6.5-2.dsc          08-Sep-2014 14:35  1.8K  
[   ] acl2_6.5-2_amd64.deb    08-Sep-2014 14:35   16M  
[   ] acl2_6.5-2_arm64.deb    16-Sep-2014 23:00   14M  
[   ] acl2_6.5-2_armel.deb    09-Sep-2014 11:25   13M  
[   ] acl2_6.5-2_armhf.deb    12-Sep-2014 10:12   14M  
[   ] acl2_6.5-2_i386.deb     08-Sep-2014 21:44   13M  
[   ] acl2_6.5-2_kfreebsd-..> 09-Sep-2014 06:43   16M  
[   ] acl2_6.5-2_kfreebsd-..> 09-Sep-2014 10:04   13M  
[   ] acl2_6.5-2_mips.deb     02-Oct-2014 23:44   13M  
[   ] acl2_6.5-2_mipsel.deb   28-Sep-2014 20:37   13M  
[   ] acl2_6.5-2_powerpc.deb  08-Sep-2014 17:57   13M  
[   ] acl2_6.5-2_ppc64el.deb  09-Sep-2014 04:07   14M  
[   ] acl2_6.5-2_s390x.deb    09-Sep-2014 00:46   15M  
[   ] acl2_6.5-2~bpo70+1.d..> 14-Jan-2015 16:26  160K  
[TXT] acl2_6.5-2~bpo70+1.dsc  14-Jan-2015 16:26  2.3K  
[   ] acl2_6.5-2~bpo70+1_a..> 14-Jan-2015 16:26   24M  
[   ] acl2_6.5.orig-books...> 17-Aug-2014 15:21   14M  
[   ] acl2_6.5.orig.tar.gz    17-Aug-2014 15:21  5.9M
Apache Server at mirrors.advancedhosters.com Port 80