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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]acl2-books-certs_2.9..>2004-11-11 06:32 289K 
[ ]acl2-books-certs_3.1..>2006-12-04 23:17 4.7M 
[ ]acl2-books-certs_4.0..>2010-07-09 21:32 1.9M 
[ ]acl2-books-certs_4.3..>2012-04-21 00:08 4.2M 
[ ]acl2-books-certs_6.5..>2014-09-08 19:05 6.2M 
[ ]acl2-books-certs_6.5..>2015-01-14 19:56 19M 
[ ]acl2-books-certs_7.2..>2016-10-17 18:05 52M 
[ ]acl2-books-source_2...>2004-11-11 06:32 1.2M 
[ ]acl2-books-source_3...>2006-12-04 23:17 2.1M 
[ ]acl2-books-source_4...>2010-07-09 21:32 5.0M 
[ ]acl2-books-source_4...>2012-04-21 00:08 6.2M 
[ ]acl2-books-source_6...>2014-09-08 19:05 6.6M 
[ ]acl2-books-source_6...>2015-01-14 19:56 10M 
[ ]acl2-books-source_7...>2016-10-17 18:05 10M 
[ ]acl2-books_2.9-2_alp..>2004-11-11 20:02 1.4M 
[ ]acl2-books_2.9-2_arm..>2004-11-15 03:47 904K 
[ ]acl2-books_2.9-2_hpp..>2004-11-25 05:17 6.5M 
[ ]acl2-books_2.9-2_i38..>2004-11-11 06:32 814K 
[ ]acl2-books_2.9-2_ia6..>2004-11-25 05:17 1.4M 
[ ]acl2-books_2.9-2_m68..>2004-11-16 12:32 782K 
[ ]acl2-books_2.9-2_mip..>2004-11-16 21:17 1.1M 
[ ]acl2-books_2.9-2_mip..>2004-11-12 23:02 1.0M 
[ ]acl2-books_2.9-2_pow..>2004-11-11 20:02 1.2M 
[ ]acl2-books_2.9-2_s39..>2004-11-11 14:02 923K 
[ ]acl2-books_2.9-2_spa..>2004-11-28 20:02 972K 
[ ]acl2-books_3.1-1_alp..>2006-12-05 14:02 2.7M 
[ ]acl2-books_3.1-1_amd..>2006-12-05 01:17 2.2M 
[ ]acl2-books_3.1-1_arm..>2006-12-18 20:30 1.6M 
[ ]acl2-books_3.1-1_hpp..>2006-12-12 08:32 7.4M 
[ ]acl2-books_3.1-1_i38..>2006-12-04 23:17 1.5M 
[ ]acl2-books_3.1-1_ia6..>2006-12-05 19:02 2.8M 
[ ]acl2-books_3.1-1_m68..>2007-02-12 10:32 1.6M 
[ ]acl2-books_3.1-1_mip..>2006-12-12 10:32 2.0M 
[ ]acl2-books_3.1-1_mip..>2007-01-08 13:02 1.9M 
[ ]acl2-books_3.1-1_pow..>2006-12-05 14:02 2.2M 
[ ]acl2-books_3.1-1_s39..>2006-12-05 18:32 1.7M 
[ ]acl2-books_3.1-1_spa..>2006-12-31 22:02 1.8M 
[ ]acl2-books_4.0-3_amd..>2010-07-10 02:02 37M 
[ ]acl2-books_4.0-3_arm..>2010-07-11 21:47 33M 
[ ]acl2-books_4.0-3_i38..>2010-07-09 21:32 32M 
[ ]acl2-books_4.0-3_ia6..>2010-07-10 15:47 40M 
[ ]acl2-books_4.0-3_kfr..>2010-07-10 03:47 37M 
[ ]acl2-books_4.0-3_kfr..>2010-07-10 04:02 32M 
[ ]acl2-books_4.0-3_mip..>2010-07-23 19:02 37M 
[ ]acl2-books_4.0-3_mip..>2010-07-19 20:17 13M 
[ ]acl2-books_4.0-3_pow..>2010-07-20 01:17 42M 
[ ]acl2-books_4.0-3_s39..>2010-07-10 14:17 40M 
[ ]acl2-books_4.0-3_spa..>2010-07-17 19:17 35M 
[ ]acl2-books_4.3-3_amd..>2012-04-21 04:32 15M 
[ ]acl2-books_4.3-3_arm..>2012-04-22 07:17 36M 
[ ]acl2-books_4.3-3_arm..>2012-04-22 02:47 36M 
[ ]acl2-books_4.3-3_i38..>2012-04-21 00:08 13M 
[ ]acl2-books_4.3-3_ia6..>2012-04-23 19:17 18M 
[ ]acl2-books_4.3-3_kfr..>2012-04-21 17:02 15M 
[ ]acl2-books_4.3-3_kfr..>2012-04-21 05:32 13M 
[ ]acl2-books_4.3-3_mip..>2012-04-22 01:17 16M 
[ ]acl2-books_4.3-3_mip..>2012-04-27 02:19 15M 
[ ]acl2-books_4.3-3_pow..>2012-04-21 06:17 15M 
[ ]acl2-books_4.3-3_s39..>2012-04-21 03:47 13M 
[ ]acl2-books_4.3-3_s39..>2012-04-21 13:17 15M 
[ ]acl2-books_4.3-3_spa..>2012-04-22 03:32 15M 
[ ]acl2-books_6.5-2_amd..>2014-09-08 19:05 22M 
[ ]acl2-books_6.5-2_arm..>2014-09-17 03:30 22M 
[ ]acl2-books_6.5-2_arm..>2014-09-09 15:55 65M 
[ ]acl2-books_6.5-2_arm..>2014-09-12 14:42 67M 
[ ]acl2-books_6.5-2_i38..>2014-09-09 02:14 21M 
[ ]acl2-books_6.5-2_kfr..>2014-09-09 11:13 22M 
[ ]acl2-books_6.5-2_kfr..>2014-09-09 14:34 18M 
[ ]acl2-books_6.5-2_mip..>2014-10-03 03:14 20M 
[ ]acl2-books_6.5-2_mip..>2014-09-29 00:07 20M 
[ ]acl2-books_6.5-2_pow..>2014-09-08 22:27 18M 
[ ]acl2-books_6.5-2_ppc..>2014-09-09 08:37 19M 
[ ]acl2-books_6.5-2_s39..>2014-09-09 05:16 20M 
[ ]acl2-books_6.5-2~bpo..>2015-01-14 19:56 47M 
[ ]acl2-books_7.2dfsg-3..>2016-10-17 18:05 103M 
[ ]acl2-books_7.2dfsg-3..>2016-10-18 09:29 104M 
[ ]acl2-books_7.2dfsg-3..>2016-10-19 08:59 86M 
[ ]acl2-books_7.2dfsg-3..>2016-10-19 05:03 92M 
[ ]acl2-books_7.2dfsg-3..>2016-10-18 03:05 86M 
[ ]acl2-books_7.2dfsg-3..>2016-10-18 18:42 71M 
[ ]acl2-books_7.2dfsg-3..>2016-10-20 04:01 108M 
[ ]acl2-books_7.2dfsg-3..>2016-10-19 18:15 74M 
[ ]acl2-books_7.2dfsg-3..>2016-10-18 02:04 99M 
[ ]acl2-books_7.2dfsg-3..>2016-10-18 11:00 102M 
[ ]acl2-doc_2.9-2_all.deb 2004-11-11 06:32 1.7M 
[ ]acl2-doc_3.1-1_all.deb 2006-12-04 23:17 1.9M 
[ ]acl2-doc_4.0-3_all.deb 2010-07-09 21:32 2.7M 
[ ]acl2-doc_4.3-3_all.deb 2012-04-21 00:08 354K 
[ ]acl2-doc_6.5-2_all.deb 2014-09-08 19:05 1.6M 
[ ]acl2-doc_6.5-2~bpo70..>2015-01-14 19:56 2.2M 
[ ]acl2-doc_7.2dfsg-3_a..>2016-10-17 18:05 372K 
[ ]acl2-emacs_2.9-2_all..>2005-04-30 15:49 48K 
[ ]acl2-emacs_3.1-1_all..>2006-12-04 23:17 49K 
[ ]acl2-emacs_4.0-3_all..>2010-07-09 21:32 57K 
[ ]acl2-emacs_4.3-3_all..>2012-04-21 00:08 59K 
[ ]acl2-emacs_6.5-2_all..>2014-09-08 19:05 59K 
[ ]acl2-emacs_6.5-2~bpo..>2015-01-14 19:56 71K 
[ ]acl2-emacs_7.2dfsg-3..>2016-10-17 18:05 63K 
[ ]acl2-infix-source_2...>2004-11-11 06:32 82K 
[ ]acl2-infix-source_3...>2006-12-04 23:17 83K 
[ ]acl2-infix-source_4...>2010-07-09 21:32 87K 
[ ]acl2-infix-source_4...>2012-04-21 00:08 89K 
[ ]acl2-infix-source_6...>2014-09-08 19:05 78K 
[ ]acl2-infix-source_6...>2015-01-14 19:56 90K 
[ ]acl2-infix-source_7...>2016-10-17 18:05 77K 
[ ]acl2-infix_2.9-2_alp..>2004-11-11 20:02 285K 
[ ]acl2-infix_2.9-2_arm..>2004-11-15 03:47 204K 
[ ]acl2-infix_2.9-2_hpp..>2004-11-25 05:17 382K 
[ ]acl2-infix_2.9-2_i38..>2004-11-11 06:32 177K 
[ ]acl2-infix_2.9-2_ia6..>2004-11-25 05:17 344K 
[ ]acl2-infix_2.9-2_m68..>2004-11-16 12:32 174K 
[ ]acl2-infix_2.9-2_mip..>2004-11-16 21:17 251K 
[ ]acl2-infix_2.9-2_mip..>2004-11-12 23:02 239K 
[ ]acl2-infix_2.9-2_pow..>2004-11-11 20:02 307K 
[ ]acl2-infix_2.9-2_s39..>2004-11-11 14:02 178K 
[ ]acl2-infix_2.9-2_spa..>2004-11-28 20:02 249K 
[ ]acl2-infix_3.1-1_alp..>2006-12-05 14:02 251K 
[ ]acl2-infix_3.1-1_amd..>2006-12-05 01:17 194K 
[ ]acl2-infix_3.1-1_arm..>2006-12-18 20:30 186K 
[ ]acl2-infix_3.1-1_hpp..>2006-12-12 08:32 408K 
[ ]acl2-infix_3.1-1_i38..>2006-12-04 23:17 168K 
[ ]acl2-infix_3.1-1_ia6..>2006-12-05 19:02 297K 
[ ]acl2-infix_3.1-1_m68..>2007-02-12 10:32 191K 
[ ]acl2-infix_3.1-1_mip..>2006-12-12 10:32 197K 
[ ]acl2-infix_3.1-1_mip..>2007-01-08 13:02 192K 
[ ]acl2-infix_3.1-1_pow..>2006-12-05 14:02 243K 
[ ]acl2-infix_3.1-1_s39..>2006-12-05 18:32 162K 
[ ]acl2-infix_3.1-1_spa..>2006-12-31 22:02 218K 
[ ]acl2-infix_4.0-3_amd..>2010-07-10 02:02 420K 
[ ]acl2-infix_4.0-3_arm..>2010-07-11 21:47 384K 
[ ]acl2-infix_4.0-3_i38..>2010-07-09 21:32 381K 
[ ]acl2-infix_4.0-3_ia6..>2010-07-10 15:47 560K 
[ ]acl2-infix_4.0-3_kfr..>2010-07-10 03:47 421K 
[ ]acl2-infix_4.0-3_kfr..>2010-07-10 04:02 380K 
[ ]acl2-infix_4.0-3_mip..>2010-07-23 19:02 427K 
[ ]acl2-infix_4.0-3_mip..>2010-07-19 20:17 187K 
[ ]acl2-infix_4.0-3_pow..>2010-07-20 01:17 511K 
[ ]acl2-infix_4.0-3_s39..>2010-07-10 14:17 449K 
[ ]acl2-infix_4.0-3_spa..>2010-07-17 19:17 442K 
[ ]acl2-infix_4.3-3_amd..>2012-04-21 04:32 199K 
[ ]acl2-infix_4.3-3_arm..>2012-04-22 07:17 369K 
[ ]acl2-infix_4.3-3_arm..>2012-04-22 02:47 401K 
[ ]acl2-infix_4.3-3_i38..>2012-04-21 00:08 180K 
[ ]acl2-infix_4.3-3_ia6..>2012-04-23 19:17 256K 
[ ]acl2-infix_4.3-3_kfr..>2012-04-21 17:02 201K 
[ ]acl2-infix_4.3-3_kfr..>2012-04-21 05:32 178K 
[ ]acl2-infix_4.3-3_mip..>2012-04-22 01:17 226K 
[ ]acl2-infix_4.3-3_mip..>2012-04-27 02:19 214K 
[ ]acl2-infix_4.3-3_pow..>2012-04-21 06:17 218K 
[ ]acl2-infix_4.3-3_s39..>2012-04-21 03:47 167K 
[ ]acl2-infix_4.3-3_s39..>2012-04-21 13:17 190K 
[ ]acl2-infix_4.3-3_spa..>2012-04-22 03:32 212K 
[ ]acl2-infix_6.5-2_amd..>2014-09-08 19:05 147K 
[ ]acl2-infix_6.5-2_arm..>2014-09-17 03:30 149K 
[ ]acl2-infix_6.5-2_arm..>2014-09-09 15:55 403K 
[ ]acl2-infix_6.5-2_arm..>2014-09-12 14:42 424K 
[ ]acl2-infix_6.5-2_i38..>2014-09-09 02:14 148K 
[ ]acl2-infix_6.5-2_kfr..>2014-09-09 11:13 145K 
[ ]acl2-infix_6.5-2_kfr..>2014-09-09 14:34 147K 
[ ]acl2-infix_6.5-2_mip..>2014-10-03 03:14 145K 
[ ]acl2-infix_6.5-2_mip..>2014-09-29 00:07 146K 
[ ]acl2-infix_6.5-2_pow..>2014-09-08 22:27 136K 
[ ]acl2-infix_6.5-2_ppc..>2014-09-09 08:37 152K 
[ ]acl2-infix_6.5-2_s39..>2014-09-09 05:16 138K 
[ ]acl2-infix_6.5-2~bpo..>2015-01-14 19:56 219K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-17 18:05 410K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-18 09:29 420K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-19 08:59 382K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-19 05:03 401K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-18 03:05 381K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-18 18:42 408K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-20 04:01 424K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-19 18:15 426K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-18 02:04 413K 
[ ]acl2-infix_7.2dfsg-3..>2016-10-18 11:00 408K 
[ ]acl2-source_2.9-2_al..>2004-11-11 06:32 2.0M 
[ ]acl2-source_3.1-1_al..>2006-12-04 23:17 2.2M 
[ ]acl2-source_4.0-3_al..>2010-07-09 21:32 2.9M 
[ ]acl2-source_4.3-3_al..>2012-04-21 00:08 3.1M 
[ ]acl2-source_6.5-2_al..>2014-09-08 19:05 2.6M 
[ ]acl2-source_6.5-2~bp..>2015-01-14 19:56 3.7M 
[ ]acl2-source_7.2dfsg-..>2016-10-17 18:05 2.8M 
[ ]acl2_2.9-2.diff.gz 2004-11-11 06:32 18K 
[TXT]acl2_2.9-2.dsc 2005-04-30 15:49 794  
[ ]acl2_2.9-2_alpha.deb 2004-11-11 20:02 15M 
[ ]acl2_2.9-2_arm.deb 2004-11-15 03:47 14M 
[ ]acl2_2.9-2_hppa.deb 2004-11-25 05:17 14M 
[ ]acl2_2.9-2_i386.deb 2004-11-11 06:32 13M 
[ ]acl2_2.9-2_ia64.deb 2004-11-25 05:17 16M 
[ ]acl2_2.9-2_m68k.deb 2004-11-16 12:32 13M 
[ ]acl2_2.9-2_mips.deb 2004-11-16 21:17 14M 
[ ]acl2_2.9-2_mipsel.deb 2004-11-12 23:02 13M 
[ ]acl2_2.9-2_powerpc.deb 2004-11-11 20:02 15M 
[ ]acl2_2.9-2_s390.deb 2004-11-11 14:02 14M 
[ ]acl2_2.9-2_sparc.deb 2004-11-28 20:02 21M 
[ ]acl2_2.9.orig.tar.gz 2005-04-30 15:49 5.0M 
[ ]acl2_3.1-1.diff.gz 2006-12-04 23:17 13K 
[TXT]acl2_3.1-1.dsc 2006-12-04 23:17 822  
[ ]acl2_3.1-1_alpha.deb 2006-12-05 14:02 16M 
[ ]acl2_3.1-1_amd64.deb 2006-12-05 01:17 18M 
[ ]acl2_3.1-1_arm.deb 2006-12-18 20:30 16M 
[ ]acl2_3.1-1_hppa.deb 2006-12-12 08:32 15M 
[ ]acl2_3.1-1_i386.deb 2006-12-04 23:17 15M 
[ ]acl2_3.1-1_ia64.deb 2006-12-05 19:02 17M 
[ ]acl2_3.1-1_m68k.deb 2007-02-12 10:32 15M 
[ ]acl2_3.1-1_mips.deb 2006-12-12 10:32 15M 
[ ]acl2_3.1-1_mipsel.deb 2007-01-08 13:02 14M 
[ ]acl2_3.1-1_powerpc.deb 2006-12-05 14:02 17M 
[ ]acl2_3.1-1_s390.deb 2006-12-05 18:32 16M 
[ ]acl2_3.1-1_sparc.deb 2006-12-31 22:02 17M 
[ ]acl2_3.1.orig.tar.gz 2006-12-04 23:17 6.4M 
[ ]acl2_4.0-3.diff.gz 2010-07-09 21:32 16K 
[TXT]acl2_4.0-3.dsc 2010-07-09 21:32 1.1K 
[ ]acl2_4.0-3_amd64.deb 2010-07-10 02:02 25M 
[ ]acl2_4.0-3_armel.deb 2010-07-11 21:47 22M 
[ ]acl2_4.0-3_i386.deb 2010-07-09 21:32 21M 
[ ]acl2_4.0-3_ia64.deb 2010-07-10 15:47 24M 
[ ]acl2_4.0-3_kfreebsd-..>2010-07-10 03:47 25M 
[ ]acl2_4.0-3_kfreebsd-..>2010-07-10 04:02 21M 
[ ]acl2_4.0-3_mips.deb 2010-07-23 19:02 22M 
[ ]acl2_4.0-3_mipsel.deb 2010-07-19 20:17 21M 
[ ]acl2_4.0-3_powerpc.deb 2010-07-20 01:17 24M 
[ ]acl2_4.0-3_s390.deb 2010-07-10 14:17 24M 
[ ]acl2_4.0-3_sparc.deb 2010-07-17 19:17 26M 
[ ]acl2_4.0.orig.tar.gz 2010-07-08 09:17 11M 
[ ]acl2_4.3-3.debian.ta..>2012-04-21 00:08 18K 
[TXT]acl2_4.3-3.dsc 2012-04-21 00:08 1.5K 
[ ]acl2_4.3-3_amd64.deb 2012-04-21 04:32 27M 
[ ]acl2_4.3-3_armel.deb 2012-04-22 07:17 23M 
[ ]acl2_4.3-3_armhf.deb 2012-04-22 02:47 22M 
[ ]acl2_4.3-3_i386.deb 2012-04-21 00:08 23M 
[ ]acl2_4.3-3_ia64.deb 2012-04-23 19:17 25M 
[ ]acl2_4.3-3_kfreebsd-..>2012-04-21 17:02 27M 
[ ]acl2_4.3-3_kfreebsd-..>2012-04-21 05:32 23M 
[ ]acl2_4.3-3_mips.deb 2012-04-22 01:17 24M 
[ ]acl2_4.3-3_mipsel.deb 2012-04-27 02:19 23M 
[ ]acl2_4.3-3_powerpc.deb 2012-04-21 06:17 25M 
[ ]acl2_4.3-3_s390.deb 2012-04-21 03:47 25M 
[ ]acl2_4.3-3_s390x.deb 2012-04-21 13:17 29M 
[ ]acl2_4.3-3_sparc.deb 2012-04-22 03:32 27M 
[ ]acl2_4.3.orig.tar.gz 2012-01-11 23:17 15M 
[ ]acl2_6.5-2.debian.ta..>2014-09-08 19:05 125K 
[TXT]acl2_6.5-2.dsc 2014-09-08 19:05 1.8K 
[ ]acl2_6.5-2_amd64.deb 2014-09-08 19:05 16M 
[ ]acl2_6.5-2_arm64.deb 2014-09-17 03:30 14M 
[ ]acl2_6.5-2_armel.deb 2014-09-09 15:55 13M 
[ ]acl2_6.5-2_armhf.deb 2014-09-12 14:42 14M 
[ ]acl2_6.5-2_i386.deb 2014-09-09 02:14 13M 
[ ]acl2_6.5-2_kfreebsd-..>2014-09-09 11:13 16M 
[ ]acl2_6.5-2_kfreebsd-..>2014-09-09 14:34 13M 
[ ]acl2_6.5-2_mips.deb 2014-10-03 03:14 13M 
[ ]acl2_6.5-2_mipsel.deb 2014-09-29 00:07 13M 
[ ]acl2_6.5-2_powerpc.deb 2014-09-08 22:27 13M 
[ ]acl2_6.5-2_ppc64el.deb 2014-09-09 08:37 14M 
[ ]acl2_6.5-2_s390x.deb 2014-09-09 05:16 15M 
[ ]acl2_6.5-2~bpo70+1.d..>2015-01-14 19:56 160K 
[TXT]acl2_6.5-2~bpo70+1.dsc 2015-01-14 19:56 2.3K 
[ ]acl2_6.5-2~bpo70+1_a..>2015-01-14 19:56 24M 
[ ]acl2_6.5.orig-books...>2014-08-17 19:51 14M 
[ ]acl2_6.5.orig.tar.gz 2014-08-17 19:51 5.9M 
[ ]acl2_7.2dfsg-3.debia..>2016-10-17 18:05 199K 
[TXT]acl2_7.2dfsg-3.dsc 2016-10-17 18:05 2.2K 
[ ]acl2_7.2dfsg-3_amd64..>2016-10-17 18:05 17M 
[ ]acl2_7.2dfsg-3_arm64..>2016-10-18 09:29 15M 
[ ]acl2_7.2dfsg-3_armel..>2016-10-19 08:59 14M 
[ ]acl2_7.2dfsg-3_armhf..>2016-10-19 05:03 14M 
[ ]acl2_7.2dfsg-3_i386.deb2016-10-18 03:05 15M 
[ ]acl2_7.2dfsg-3_mips.deb2016-10-18 18:42 15M 
[ ]acl2_7.2dfsg-3_mips6..>2016-10-20 04:01 15M 
[ ]acl2_7.2dfsg-3_mipse..>2016-10-19 18:15 15M 
[ ]acl2_7.2dfsg-3_ppc64..>2016-10-18 02:04 16M 
[ ]acl2_7.2dfsg-3_s390x..>2016-10-18 11:00 15M 
[ ]acl2_7.2dfsg.orig.ta..>2016-04-14 18:24 61M