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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books_6.5-2~bpo70+1_amd64.deb2015-01-14 10:26 47M 
[ ]acl2_6.5-2~bpo70+1_amd64.deb2015-01-14 10:26 24M 
[ ]acl2-infix_6.5-2~bpo70+1_amd64.deb2015-01-14 10:26 219K 
[ ]acl2-doc_6.5-2~bpo70+1_all.deb2015-01-14 10:26 2.2M 
[ ]acl2-books-certs_6.5-2~bpo70+1_all.deb2015-01-14 10:26 19M 
[ ]acl2-books-source_6.5-2~bpo70+1_all.deb2015-01-14 10:26 10M 
[ ]acl2-source_6.5-2~bpo70+1_all.deb2015-01-14 10:26 3.7M 
[ ]acl2-infix-source_6.5-2~bpo70+1_all.deb2015-01-14 10:26 90K 
[ ]acl2-emacs_6.5-2~bpo70+1_all.deb2015-01-14 10:26 71K 
[ ]acl2_6.5-2~bpo70+1.dsc2015-01-14 10:26 2.3K 
[ ]acl2_6.5-2~bpo70+1.debian.tar.gz2015-01-14 10:26 160K 
[ ]acl2-books_6.5-2_mips.deb2014-10-02 18:44 20M 
[ ]acl2-infix_6.5-2_mips.deb2014-10-02 18:44 145K 
[ ]acl2_6.5-2_mips.deb2014-10-02 18:44 13M 
[ ]acl2-books_6.5-2_mipsel.deb2014-09-28 15:37 20M 
[ ]acl2-infix_6.5-2_mipsel.deb2014-09-28 15:37 146K 
[ ]acl2_6.5-2_mipsel.deb2014-09-28 15:37 13M 
[ ]acl2-books_6.5-2_arm64.deb2014-09-16 18:00 22M 
[ ]acl2_6.5-2_arm64.deb2014-09-16 18:00 14M 
[ ]acl2-infix_6.5-2_arm64.deb2014-09-16 18:00 149K 
[ ]acl2-books_6.5-2_armhf.deb2014-09-12 05:12 67M 
[ ]acl2_6.5-2_armhf.deb2014-09-12 05:12 14M 
[ ]acl2-infix_6.5-2_armhf.deb2014-09-12 05:12 424K 
[ ]acl2-books_6.5-2_armel.deb2014-09-09 06:25 65M 
[ ]acl2-infix_6.5-2_armel.deb2014-09-09 06:25 403K 
[ ]acl2_6.5-2_armel.deb2014-09-09 06:25 13M 
[ ]acl2_6.5-2_kfreebsd-i386.deb2014-09-09 05:04 13M 
[ ]acl2-infix_6.5-2_kfreebsd-i386.deb2014-09-09 05:04 147K 
[ ]acl2-books_6.5-2_kfreebsd-i386.deb2014-09-09 05:04 18M 
[ ]acl2_6.5-2_kfreebsd-amd64.deb2014-09-09 01:43 16M 
[ ]acl2-infix_6.5-2_kfreebsd-amd64.deb2014-09-09 01:43 145K 
[ ]acl2-books_6.5-2_kfreebsd-amd64.deb2014-09-09 01:43 22M 
[ ]acl2-books_6.5-2_ppc64el.deb2014-09-08 23:07 19M 
[ ]acl2_6.5-2_ppc64el.deb2014-09-08 23:07 14M 
[ ]acl2-infix_6.5-2_ppc64el.deb2014-09-08 23:07 152K 
[ ]acl2-books_6.5-2_s390x.deb2014-09-08 19:46 20M 
[ ]acl2_6.5-2_s390x.deb2014-09-08 19:46 15M 
[ ]acl2-infix_6.5-2_s390x.deb2014-09-08 19:46 138K 
[ ]acl2-books_6.5-2_i386.deb2014-09-08 16:44 21M 
[ ]acl2_6.5-2_i386.deb2014-09-08 16:44 13M 
[ ]acl2-infix_6.5-2_i386.deb2014-09-08 16:44 148K 
[ ]acl2-books_6.5-2_powerpc.deb2014-09-08 12:57 18M 
[ ]acl2-infix_6.5-2_powerpc.deb2014-09-08 12:57 136K 
[ ]acl2_6.5-2_powerpc.deb2014-09-08 12:57 13M 
[ ]acl2_6.5-2.dsc2014-09-08 09:35 1.8K 
[ ]acl2_6.5-2.debian.tar.xz2014-09-08 09:35 125K 
[ ]acl2-books_6.5-2_amd64.deb2014-09-08 09:35 22M 
[ ]acl2_6.5-2_amd64.deb2014-09-08 09:35 16M 
[ ]acl2-infix_6.5-2_amd64.deb2014-09-08 09:35 147K 
[ ]acl2-doc_6.5-2_all.deb2014-09-08 09:35 1.6M 
[ ]acl2-books-certs_6.5-2_all.deb2014-09-08 09:35 6.2M 
[ ]acl2-books-source_6.5-2_all.deb2014-09-08 09:35 6.6M 
[ ]acl2-source_6.5-2_all.deb2014-09-08 09:35 2.6M 
[ ]acl2-infix-source_6.5-2_all.deb2014-09-08 09:35 78K 
[ ]acl2-emacs_6.5-2_all.deb2014-09-08 09:35 59K 
[ ]acl2_6.5.orig.tar.gz2014-08-17 10:21 5.9M 
[ ]acl2_6.5.orig-books.tar.gz2014-08-17 10:21 14M 
[ ]acl2-books_4.3-3_mipsel.deb2012-04-26 16:49 15M 
[ ]acl2_4.3-3_mipsel.deb2012-04-26 16:49 23M 
[ ]acl2-infix_4.3-3_mipsel.deb2012-04-26 16:49 214K 
[ ]acl2_4.3-3_ia64.deb2012-04-23 09:47 25M 
[ ]acl2-books_4.3-3_ia64.deb2012-04-23 09:47 18M 
[ ]acl2-infix_4.3-3_ia64.deb2012-04-23 09:47 256K 
[ ]acl2-books_4.3-3_armel.deb2012-04-21 21:47 36M 
[ ]acl2_4.3-3_armel.deb2012-04-21 21:47 23M 
[ ]acl2-infix_4.3-3_armel.deb2012-04-21 21:47 369K 
[ ]acl2_4.3-3_sparc.deb2012-04-21 18:02 27M 
[ ]acl2-books_4.3-3_sparc.deb2012-04-21 18:02 15M 
[ ]acl2-infix_4.3-3_sparc.deb2012-04-21 18:02 212K 
[ ]acl2_4.3-3_armhf.deb2012-04-21 17:17 22M 
[ ]acl2-books_4.3-3_armhf.deb2012-04-21 17:17 36M 
[ ]acl2-infix_4.3-3_armhf.deb2012-04-21 17:17 401K 
[ ]acl2-books_4.3-3_mips.deb2012-04-21 15:47 16M 
[ ]acl2_4.3-3_mips.deb2012-04-21 15:47 24M 
[ ]acl2-infix_4.3-3_mips.deb2012-04-21 15:47 226K 
[ ]acl2-books_4.3-3_kfreebsd-amd64.deb2012-04-21 07:32 15M 
[ ]acl2_4.3-3_kfreebsd-amd64.deb2012-04-21 07:32 27M 
[ ]acl2-infix_4.3-3_kfreebsd-amd64.deb2012-04-21 07:32 201K 
[ ]acl2_4.3-3_s390x.deb2012-04-21 03:47 29M 
[ ]acl2-books_4.3-3_s390x.deb2012-04-21 03:47 15M 
[ ]acl2-infix_4.3-3_s390x.deb2012-04-21 03:47 190K 
[ ]acl2-books_4.3-3_powerpc.deb2012-04-20 20:47 15M 
[ ]acl2_4.3-3_powerpc.deb2012-04-20 20:47 25M 
[ ]acl2-infix_4.3-3_powerpc.deb2012-04-20 20:47 218K 
[ ]acl2_4.3-3_kfreebsd-i386.deb2012-04-20 20:02 23M 
[ ]acl2-books_4.3-3_kfreebsd-i386.deb2012-04-20 20:02 13M 
[ ]acl2-infix_4.3-3_kfreebsd-i386.deb2012-04-20 20:02 178K 
[ ]acl2-books_4.3-3_amd64.deb2012-04-20 19:02 15M 
[ ]acl2_4.3-3_amd64.deb2012-04-20 19:02 27M 
[ ]acl2-infix_4.3-3_amd64.deb2012-04-20 19:02 199K 
[ ]acl2-books_4.3-3_s390.deb2012-04-20 18:17 13M 
[ ]acl2_4.3-3_s390.deb2012-04-20 18:17 25M 
[ ]acl2-infix_4.3-3_s390.deb2012-04-20 18:17 167K 
[ ]acl2_4.3-3.debian.tar.gz2012-04-20 14:38 18K 
[ ]acl2-source_4.3-3_all.deb2012-04-20 14:38 3.1M 
[ ]acl2-books_4.3-3_i386.deb2012-04-20 14:38 13M 
[ ]acl2-books-certs_4.3-3_all.deb2012-04-20 14:38 4.2M 
[ ]acl2_4.3-3_i386.deb2012-04-20 14:38 23M 
[ ]acl2_4.3-3.dsc2012-04-20 14:38 1.5K 
[ ]acl2-infix_4.3-3_i386.deb2012-04-20 14:38 180K 
[ ]acl2-infix-source_4.3-3_all.deb2012-04-20 14:38 89K 
[ ]acl2-books-source_4.3-3_all.deb2012-04-20 14:38 6.2M 
[ ]acl2-emacs_4.3-3_all.deb2012-04-20 14:38 59K 
[ ]acl2-doc_4.3-3_all.deb2012-04-20 14:38 354K 
[ ]acl2_4.3.orig.tar.gz2012-01-11 13:47 15M 
[ ]acl2_4.0-3_mips.deb2010-07-23 09:32 22M 
[ ]acl2-infix_4.0-3_mips.deb2010-07-23 09:32 427K 
[ ]acl2-books_4.0-3_mips.deb2010-07-23 09:32 37M 
[ ]acl2_4.0-3_powerpc.deb2010-07-19 15:47 24M 
[ ]acl2-infix_4.0-3_powerpc.deb2010-07-19 15:47 511K 
[ ]acl2-books_4.0-3_powerpc.deb2010-07-19 15:47 42M 
[ ]acl2_4.0-3_mipsel.deb2010-07-19 10:47 21M 
[ ]acl2-infix_4.0-3_mipsel.deb2010-07-19 10:47 187K 
[ ]acl2-books_4.0-3_mipsel.deb2010-07-19 10:47 13M 
[ ]acl2-books_4.0-3_sparc.deb2010-07-17 09:47 35M 
[ ]acl2_4.0-3_sparc.deb2010-07-17 09:47 26M 
[ ]acl2-infix_4.0-3_sparc.deb2010-07-17 09:47 442K 
[ ]acl2_4.0-3_armel.deb2010-07-11 12:17 22M 
[ ]acl2-infix_4.0-3_armel.deb2010-07-11 12:17 384K 
[ ]acl2-books_4.0-3_armel.deb2010-07-11 12:17 33M 
[ ]acl2_4.0-3_ia64.deb2010-07-10 06:17 24M 
[ ]acl2-infix_4.0-3_ia64.deb2010-07-10 06:17 560K 
[ ]acl2-books_4.0-3_ia64.deb2010-07-10 06:17 40M 
[ ]acl2_4.0-3_s390.deb2010-07-10 04:47 24M 
[ ]acl2-infix_4.0-3_s390.deb2010-07-10 04:47 449K 
[ ]acl2-books_4.0-3_s390.deb2010-07-10 04:47 40M 
[ ]acl2_4.0-3_kfreebsd-i386.deb2010-07-09 18:32 21M 
[ ]acl2-infix_4.0-3_kfreebsd-i386.deb2010-07-09 18:32 380K 
[ ]acl2-books_4.0-3_kfreebsd-i386.deb2010-07-09 18:32 32M 
[ ]acl2_4.0-3_kfreebsd-amd64.deb2010-07-09 18:17 25M 
[ ]acl2-infix_4.0-3_kfreebsd-amd64.deb2010-07-09 18:17 421K 
[ ]acl2-books_4.0-3_kfreebsd-amd64.deb2010-07-09 18:17 37M 
[ ]acl2_4.0-3_amd64.deb2010-07-09 16:32 25M 
[ ]acl2-infix_4.0-3_amd64.deb2010-07-09 16:32 420K 
[ ]acl2-books_4.0-3_amd64.deb2010-07-09 16:32 37M 
[ ]acl2_4.0-3_i386.deb2010-07-09 12:02 21M 
[ ]acl2_4.0-3.dsc2010-07-09 12:02 1.1K 
[ ]acl2_4.0-3.diff.gz2010-07-09 12:02 16K 
[ ]acl2-source_4.0-3_all.deb2010-07-09 12:02 2.9M 
[ ]acl2-infix_4.0-3_i386.deb2010-07-09 12:02 381K 
[ ]acl2-infix-source_4.0-3_all.deb2010-07-09 12:02 87K 
[ ]acl2-emacs_4.0-3_all.deb2010-07-09 12:02 57K 
[ ]acl2-doc_4.0-3_all.deb2010-07-09 12:02 2.7M 
[ ]acl2-books_4.0-3_i386.deb2010-07-09 12:02 32M 
[ ]acl2-books-source_4.0-3_all.deb2010-07-09 12:02 5.0M 
[ ]acl2-books-certs_4.0-3_all.deb2010-07-09 12:02 1.9M 
[ ]acl2_4.0.orig.tar.gz2010-07-07 23:47 11M 
[ ]acl2_3.1-1_m68k.deb2007-02-12 01:02 15M 
[ ]acl2-infix_3.1-1_m68k.deb2007-02-12 01:02 191K 
[ ]acl2-books_3.1-1_m68k.deb2007-02-12 01:02 1.6M 
[ ]acl2_3.1-1_mipsel.deb2007-01-08 03:32 14M 
[ ]acl2-infix_3.1-1_mipsel.deb2007-01-08 03:32 192K 
[ ]acl2-books_3.1-1_mipsel.deb2007-01-08 03:32 1.9M 
[ ]acl2_3.1-1_sparc.deb2006-12-31 12:32 17M 
[ ]acl2-infix_3.1-1_sparc.deb2006-12-31 12:32 218K 
[ ]acl2-books_3.1-1_sparc.deb2006-12-31 12:32 1.8M 
[ ]acl2_3.1-1_arm.deb2006-12-18 11:00 16M 
[ ]acl2-infix_3.1-1_arm.deb2006-12-18 11:00 186K 
[ ]acl2-books_3.1-1_arm.deb2006-12-18 11:00 1.6M 
[ ]acl2_3.1-1_mips.deb2006-12-12 01:02 15M 
[ ]acl2-infix_3.1-1_mips.deb2006-12-12 01:02 197K 
[ ]acl2-books_3.1-1_mips.deb2006-12-12 01:02 2.0M 
[ ]acl2_3.1-1_hppa.deb2006-12-11 23:02 15M 
[ ]acl2-infix_3.1-1_hppa.deb2006-12-11 23:02 408K 
[ ]acl2-books_3.1-1_hppa.deb2006-12-11 23:02 7.4M 
[ ]acl2_3.1-1_ia64.deb2006-12-05 09:32 17M 
[ ]acl2-infix_3.1-1_ia64.deb2006-12-05 09:32 297K 
[ ]acl2-books_3.1-1_ia64.deb2006-12-05 09:32 2.8M 
[ ]acl2_3.1-1_s390.deb2006-12-05 09:02 16M 
[ ]acl2-infix_3.1-1_s390.deb2006-12-05 09:02 162K 
[ ]acl2-books_3.1-1_s390.deb2006-12-05 09:02 1.7M 
[ ]acl2_3.1-1_powerpc.deb2006-12-05 04:32 17M 
[ ]acl2-infix_3.1-1_powerpc.deb2006-12-05 04:32 243K 
[ ]acl2-books_3.1-1_powerpc.deb2006-12-05 04:32 2.2M 
[ ]acl2_3.1-1_alpha.deb2006-12-05 04:32 16M 
[ ]acl2-infix_3.1-1_alpha.deb2006-12-05 04:32 251K 
[ ]acl2-books_3.1-1_alpha.deb2006-12-05 04:32 2.7M 
[ ]acl2_3.1-1_amd64.deb2006-12-04 15:47 18M 
[ ]acl2-infix_3.1-1_amd64.deb2006-12-04 15:47 194K 
[ ]acl2-books_3.1-1_amd64.deb2006-12-04 15:47 2.2M 
[ ]acl2_3.1.orig.tar.gz2006-12-04 13:47 6.4M 
[ ]acl2_3.1-1_i386.deb2006-12-04 13:47 15M 
[ ]acl2_3.1-1.dsc2006-12-04 13:47 822  
[ ]acl2_3.1-1.diff.gz2006-12-04 13:47 13K 
[ ]acl2-source_3.1-1_all.deb2006-12-04 13:47 2.2M 
[ ]acl2-infix_3.1-1_i386.deb2006-12-04 13:47 168K 
[ ]acl2-infix-source_3.1-1_all.deb2006-12-04 13:47 83K 
[ ]acl2-emacs_3.1-1_all.deb2006-12-04 13:47 49K 
[ ]acl2-doc_3.1-1_all.deb2006-12-04 13:47 1.9M 
[ ]acl2-books_3.1-1_i386.deb2006-12-04 13:47 1.5M 
[ ]acl2-books-source_3.1-1_all.deb2006-12-04 13:47 2.1M 
[ ]acl2-books-certs_3.1-1_all.deb2006-12-04 13:47 4.7M 
[ ]acl2_2.9.orig.tar.gz2005-04-30 06:19 5.0M 
[ ]acl2_2.9-2.dsc2005-04-30 06:19 794  
[ ]acl2-emacs_2.9-2_all.deb2005-04-30 06:19 48K 
[ ]acl2_2.9-2_sparc.deb2004-11-28 10:32 21M 
[ ]acl2-infix_2.9-2_sparc.deb2004-11-28 10:32 249K 
[ ]acl2-books_2.9-2_sparc.deb2004-11-28 10:32 972K 
[ ]acl2_2.9-2_ia64.deb2004-11-24 19:47 16M 
[ ]acl2-infix_2.9-2_ia64.deb2004-11-24 19:47 344K 
[ ]acl2-books_2.9-2_ia64.deb2004-11-24 19:47 1.4M 
[ ]acl2_2.9-2_hppa.deb2004-11-24 19:47 14M 
[ ]acl2-infix_2.9-2_hppa.deb2004-11-24 19:47 382K 
[ ]acl2-books_2.9-2_hppa.deb2004-11-24 19:47 6.5M 
[ ]acl2_2.9-2_mips.deb2004-11-16 11:47 14M 
[ ]acl2-infix_2.9-2_mips.deb2004-11-16 11:47 251K 
[ ]acl2-books_2.9-2_mips.deb2004-11-16 11:47 1.1M 
[ ]acl2_2.9-2_m68k.deb2004-11-16 03:02 13M 
[ ]acl2-infix_2.9-2_m68k.deb2004-11-16 03:02 174K 
[ ]acl2-books_2.9-2_m68k.deb2004-11-16 03:02 782K 
[ ]acl2_2.9-2_arm.deb2004-11-14 18:17 14M 
[ ]acl2-infix_2.9-2_arm.deb2004-11-14 18:17 204K 
[ ]acl2-books_2.9-2_arm.deb2004-11-14 18:17 904K 
[ ]acl2_2.9-2_mipsel.deb2004-11-12 13:32 13M 
[ ]acl2-infix_2.9-2_mipsel.deb2004-11-12 13:32 239K 
[ ]acl2-books_2.9-2_mipsel.deb2004-11-12 13:32 1.0M 
[ ]acl2_2.9-2_powerpc.deb2004-11-11 10:32 15M 
[ ]acl2-infix_2.9-2_powerpc.deb2004-11-11 10:32 307K 
[ ]acl2-books_2.9-2_powerpc.deb2004-11-11 10:32 1.2M 
[ ]acl2_2.9-2_alpha.deb2004-11-11 10:32 15M 
[ ]acl2-infix_2.9-2_alpha.deb2004-11-11 10:32 285K 
[ ]acl2-books_2.9-2_alpha.deb2004-11-11 10:32 1.4M 
[ ]acl2_2.9-2_s390.deb2004-11-11 04:32 14M 
[ ]acl2-books_2.9-2_s390.deb2004-11-11 04:32 923K 
[ ]acl2-infix_2.9-2_s390.deb2004-11-11 04:32 178K 
[ ]acl2_2.9-2_i386.deb2004-11-10 21:02 13M 
[ ]acl2_2.9-2.diff.gz2004-11-10 21:02 18K 
[ ]acl2-source_2.9-2_all.deb2004-11-10 21:02 2.0M 
[ ]acl2-infix_2.9-2_i386.deb2004-11-10 21:02 177K 
[ ]acl2-infix-source_2.9-2_all.deb2004-11-10 21:02 82K 
[ ]acl2-doc_2.9-2_all.deb2004-11-10 21:02 1.7M 
[ ]acl2-books_2.9-2_i386.deb2004-11-10 21:02 814K 
[ ]acl2-books-source_2.9-2_all.deb2004-11-10 21:02 1.2M 
[ ]acl2-books-certs_2.9-2_all.deb2004-11-10 21:02 289K