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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_2.9-2_all.deb2004-11-11 03:02 289K 
[ ]acl2-books-certs_3.1-1_all.deb2006-12-04 19:47 4.7M 
[ ]acl2-books-certs_4.0-3_all.deb2010-07-09 18:02 1.9M 
[ ]acl2-books-source_2.9-2_all.deb2004-11-11 03:02 1.2M 
[ ]acl2-books-source_3.1-1_all.deb2006-12-04 19:47 2.1M 
[ ]acl2-books-source_4.0-3_all.deb2010-07-09 18:02 5.0M 
[ ]acl2-books_2.9-2_alpha.deb2004-11-11 16:32 1.4M 
[ ]acl2-books_2.9-2_arm.deb2004-11-15 00:17 904K 
[ ]acl2-books_2.9-2_hppa.deb2004-11-25 01:47 6.5M 
[ ]acl2-books_2.9-2_i386.deb2004-11-11 03:02 814K 
[ ]acl2-books_2.9-2_ia64.deb2004-11-25 01:47 1.4M 
[ ]acl2-books_2.9-2_m68k.deb2004-11-16 09:02 782K 
[ ]acl2-books_2.9-2_mips.deb2004-11-16 17:47 1.1M 
[ ]acl2-books_2.9-2_mipsel.deb2004-11-12 19:32 1.0M 
[ ]acl2-books_2.9-2_powerpc.deb2004-11-11 16:32 1.2M 
[ ]acl2-books_2.9-2_s390.deb2004-11-11 10:32 923K 
[ ]acl2-books_2.9-2_sparc.deb2004-11-28 16:32 972K 
[ ]acl2-books_3.1-1_alpha.deb2006-12-05 10:32 2.7M 
[ ]acl2-books_3.1-1_amd64.deb2006-12-04 21:47 2.2M 
[ ]acl2-books_3.1-1_arm.deb2006-12-18 17:00 1.6M 
[ ]acl2-books_3.1-1_hppa.deb2006-12-12 05:02 7.4M 
[ ]acl2-books_3.1-1_i386.deb2006-12-04 19:47 1.5M 
[ ]acl2-books_3.1-1_ia64.deb2006-12-05 15:32 2.8M 
[ ]acl2-books_3.1-1_m68k.deb2007-02-12 07:02 1.6M 
[ ]acl2-books_3.1-1_mips.deb2006-12-12 07:02 2.0M 
[ ]acl2-books_3.1-1_mipsel.deb2007-01-08 09:32 1.9M 
[ ]acl2-books_3.1-1_powerpc.deb2006-12-05 10:32 2.2M 
[ ]acl2-books_3.1-1_s390.deb2006-12-05 15:02 1.7M 
[ ]acl2-books_3.1-1_sparc.deb2006-12-31 18:32 1.8M 
[ ]acl2-books_4.0-3_amd64.deb2010-07-09 22:32 37M 
[ ]acl2-books_4.0-3_armel.deb2010-07-11 18:17 33M 
[ ]acl2-books_4.0-3_i386.deb2010-07-09 18:02 32M 
[ ]acl2-books_4.0-3_ia64.deb2010-07-10 12:17 40M 
[ ]acl2-books_4.0-3_kfreebsd-amd64.deb2010-07-10 00:17 37M 
[ ]acl2-books_4.0-3_kfreebsd-i386.deb2010-07-10 00:32 32M 
[ ]acl2-books_4.0-3_mips.deb2010-07-23 15:32 37M 
[ ]acl2-books_4.0-3_mipsel.deb2010-07-19 16:47 13M 
[ ]acl2-books_4.0-3_powerpc.deb2010-07-19 21:47 42M 
[ ]acl2-books_4.0-3_s390.deb2010-07-10 10:47 40M 
[ ]acl2-books_4.0-3_sparc.deb2010-07-17 15:47 35M 
[ ]acl2-doc_2.9-2_all.deb2004-11-11 03:02 1.7M 
[ ]acl2-doc_3.1-1_all.deb2006-12-04 19:47 1.9M 
[ ]acl2-doc_4.0-3_all.deb2010-07-09 18:02 2.7M 
[ ]acl2-emacs_2.9-2_all.deb2005-04-30 12:19 48K 
[ ]acl2-emacs_3.1-1_all.deb2006-12-04 19:47 49K 
[ ]acl2-emacs_4.0-3_all.deb2010-07-09 18:02 57K 
[ ]acl2-infix-source_2.9-2_all.deb2004-11-11 03:02 82K 
[ ]acl2-infix-source_3.1-1_all.deb2006-12-04 19:47 83K 
[ ]acl2-infix-source_4.0-3_all.deb2010-07-09 18:02 87K 
[ ]acl2-infix_2.9-2_alpha.deb2004-11-11 16:32 285K 
[ ]acl2-infix_2.9-2_arm.deb2004-11-15 00:17 204K 
[ ]acl2-infix_2.9-2_hppa.deb2004-11-25 01:47 382K 
[ ]acl2-infix_2.9-2_i386.deb2004-11-11 03:02 177K 
[ ]acl2-infix_2.9-2_ia64.deb2004-11-25 01:47 344K 
[ ]acl2-infix_2.9-2_m68k.deb2004-11-16 09:02 174K 
[ ]acl2-infix_2.9-2_mips.deb2004-11-16 17:47 251K 
[ ]acl2-infix_2.9-2_mipsel.deb2004-11-12 19:32 239K 
[ ]acl2-infix_2.9-2_powerpc.deb2004-11-11 16:32 307K 
[ ]acl2-infix_2.9-2_s390.deb2004-11-11 10:32 178K 
[ ]acl2-infix_2.9-2_sparc.deb2004-11-28 16:32 249K 
[ ]acl2-infix_3.1-1_alpha.deb2006-12-05 10:32 251K 
[ ]acl2-infix_3.1-1_amd64.deb2006-12-04 21:47 194K 
[ ]acl2-infix_3.1-1_arm.deb2006-12-18 17:00 186K 
[ ]acl2-infix_3.1-1_hppa.deb2006-12-12 05:02 408K 
[ ]acl2-infix_3.1-1_i386.deb2006-12-04 19:47 168K 
[ ]acl2-infix_3.1-1_ia64.deb2006-12-05 15:32 297K 
[ ]acl2-infix_3.1-1_m68k.deb2007-02-12 07:02 191K 
[ ]acl2-infix_3.1-1_mips.deb2006-12-12 07:02 197K 
[ ]acl2-infix_3.1-1_mipsel.deb2007-01-08 09:32 192K 
[ ]acl2-infix_3.1-1_powerpc.deb2006-12-05 10:32 243K 
[ ]acl2-infix_3.1-1_s390.deb2006-12-05 15:02 162K 
[ ]acl2-infix_3.1-1_sparc.deb2006-12-31 18:32 218K 
[ ]acl2-infix_4.0-3_amd64.deb2010-07-09 22:32 420K 
[ ]acl2-infix_4.0-3_armel.deb2010-07-11 18:17 384K 
[ ]acl2-infix_4.0-3_i386.deb2010-07-09 18:02 381K 
[ ]acl2-infix_4.0-3_ia64.deb2010-07-10 12:17 560K 
[ ]acl2-infix_4.0-3_kfreebsd-amd64.deb2010-07-10 00:17 421K 
[ ]acl2-infix_4.0-3_kfreebsd-i386.deb2010-07-10 00:32 380K 
[ ]acl2-infix_4.0-3_mips.deb2010-07-23 15:32 427K 
[ ]acl2-infix_4.0-3_mipsel.deb2010-07-19 16:47 187K 
[ ]acl2-infix_4.0-3_powerpc.deb2010-07-19 21:47 511K 
[ ]acl2-infix_4.0-3_s390.deb2010-07-10 10:47 449K 
[ ]acl2-infix_4.0-3_sparc.deb2010-07-17 15:47 442K 
[ ]acl2-source_2.9-2_all.deb2004-11-11 03:02 2.0M 
[ ]acl2-source_3.1-1_all.deb2006-12-04 19:47 2.2M 
[ ]acl2-source_4.0-3_all.deb2010-07-09 18:02 2.9M 
[ ]acl2_2.9-2.diff.gz2004-11-11 03:02 18K 
[TXT]acl2_2.9-2.dsc2005-04-30 12:19 794  
[ ]acl2_2.9-2_alpha.deb2004-11-11 16:32 15M 
[ ]acl2_2.9-2_arm.deb2004-11-15 00:17 14M 
[ ]acl2_2.9-2_hppa.deb2004-11-25 01:47 14M 
[ ]acl2_2.9-2_i386.deb2004-11-11 03:02 13M 
[ ]acl2_2.9-2_ia64.deb2004-11-25 01:47 16M 
[ ]acl2_2.9-2_m68k.deb2004-11-16 09:02 13M 
[ ]acl2_2.9-2_mips.deb2004-11-16 17:47 14M 
[ ]acl2_2.9-2_mipsel.deb2004-11-12 19:32 13M 
[ ]acl2_2.9-2_powerpc.deb2004-11-11 16:32 15M 
[ ]acl2_2.9-2_s390.deb2004-11-11 10:32 14M 
[ ]acl2_2.9-2_sparc.deb2004-11-28 16:32 21M 
[ ]acl2_2.9.orig.tar.gz2005-04-30 12:19 5.0M 
[ ]acl2_3.1-1.diff.gz2006-12-04 19:47 13K 
[TXT]acl2_3.1-1.dsc2006-12-04 19:47 822  
[ ]acl2_3.1-1_alpha.deb2006-12-05 10:32 16M 
[ ]acl2_3.1-1_amd64.deb2006-12-04 21:47 18M 
[ ]acl2_3.1-1_arm.deb2006-12-18 17:00 16M 
[ ]acl2_3.1-1_hppa.deb2006-12-12 05:02 15M 
[ ]acl2_3.1-1_i386.deb2006-12-04 19:47 15M 
[ ]acl2_3.1-1_ia64.deb2006-12-05 15:32 17M 
[ ]acl2_3.1-1_m68k.deb2007-02-12 07:02 15M 
[ ]acl2_3.1-1_mips.deb2006-12-12 07:02 15M 
[ ]acl2_3.1-1_mipsel.deb2007-01-08 09:32 14M 
[ ]acl2_3.1-1_powerpc.deb2006-12-05 10:32 17M 
[ ]acl2_3.1-1_s390.deb2006-12-05 15:02 16M 
[ ]acl2_3.1-1_sparc.deb2006-12-31 18:32 17M 
[ ]acl2_3.1.orig.tar.gz2006-12-04 19:47 6.4M 
[ ]acl2_4.0-3.diff.gz2010-07-09 18:02 16K 
[TXT]acl2_4.0-3.dsc2010-07-09 18:02 1.1K 
[ ]acl2_4.0-3_amd64.deb2010-07-09 22:32 25M 
[ ]acl2_4.0-3_armel.deb2010-07-11 18:17 22M 
[ ]acl2_4.0-3_i386.deb2010-07-09 18:02 21M 
[ ]acl2_4.0-3_ia64.deb2010-07-10 12:17 24M 
[ ]acl2_4.0-3_kfreebsd-amd64.deb2010-07-10 00:17 25M 
[ ]acl2_4.0-3_kfreebsd-i386.deb2010-07-10 00:32 21M 
[ ]acl2_4.0-3_mips.deb2010-07-23 15:32 22M 
[ ]acl2_4.0-3_mipsel.deb2010-07-19 16:47 21M 
[ ]acl2_4.0-3_powerpc.deb2010-07-19 21:47 24M 
[ ]acl2_4.0-3_s390.deb2010-07-10 10:47 24M 
[ ]acl2_4.0-3_sparc.deb2010-07-17 15:47 26M 
[ ]acl2_4.0.orig.tar.gz2010-07-08 05:47 11M 
DEQ/FCTUC Server at ftp.eq.uc.pt Port 80