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