Filewatcher File Search File Search
Catalog
Content Search
ftp://mirrors.kernel.org/archive/ubuntu-archive/ubuntu/pool/universe/a/acl2/  direct

289.81 KB2004-11-11acl2-books-certs_2.9-2_all.deb  2 mirrors
367.00 KB2005-10-07acl2-books-certs_2.9.3-5build1_all.deb  3 mirrors
367.12 KB2005-10-26acl2-books-certs_2.9.3-7_all.deb  22 mirrors
665.20 KB2006-06-20acl2-books-certs_3.0-1_all.deb  9 mirrors
4.73 MB2006-12-06acl2-books-certs_3.1-1_all.deb  41 mirrors
1.19 MB2008-05-10acl2-books-certs_3.3-1.1_all.deb  4 mirrors
1.21 MB2008-11-04acl2-books-certs_3.4-1_all.deb  23 mirrors
1.21 MB2009-04-27acl2-books-certs_3.4-2_all.deb  21 mirrors
1.85 MB2010-02-15acl2-books-certs_3.6-4_all.deb  67 mirrors
1.88 MB2010-09-07acl2-books-certs_4.0-3_all.deb  info  browse  26 mirrors  A Computational Logic for Applicative Common Lisp: library certificates…more»   → /Main/Ubuntu/all/math/
1.89 MB2010-11-08acl2-books-certs_4.1-5_all.deb  info  browse  32 mirrors  A Computational Logic for Applicative Common Lisp: library certificates…more»   → /Main/Ubuntu/all/math/
1.89 MB2011-09-01acl2-books-certs_4.2-1_all.deb  info  browse  482+ mirrors  A Computational Logic for Applicative Common Lisp: library certificates…more»   → /Main/Ubuntu/all/math/
4.21 MB2012-05-17acl2-books-certs_4.3-3_all.deb  11 mirrors
4.95 MB2013-01-13acl2-books-certs_6.0-2_all.deb  11 mirrors
9.74 MB2013-07-30acl2-books-certs_6.2-6_all.deb  10 mirrors
4.05 MB2014-05-17acl2-books-certs_6.4-4_all.deb  12 mirrors
1.18 MB2004-11-11acl2-books-source_2.9-2_all.deb  2 mirrors
1.24 MB2005-10-07acl2-books-source_2.9.3-5build1_all.deb  3 mirrors
1.24 MB2005-10-26acl2-books-source_2.9.3-7_all.deb  22 mirrors
1.59 MB2006-06-20acl2-books-source_3.0-1_all.deb  9 mirrors
2.14 MB2006-12-06acl2-books-source_3.1-1_all.deb  41 mirrors
2.33 MB2008-05-10acl2-books-source_3.3-1.1_all.deb  4 mirrors
2.72 MB2008-11-04acl2-books-source_3.4-1_all.deb  23 mirrors
2.72 MB2009-04-27acl2-books-source_3.4-2_all.deb  21 mirrors
4.69 MB2010-02-15acl2-books-source_3.6-4_all.deb  info  browse  71 mirrors  A Computational Logic for Applicative Common Lisp: library sources…more»   → /Main/Ubuntu/all/math/
4.84 MB2010-09-07acl2-books-source_4.0-3_all.deb  22 mirrors
4.85 MB2010-11-08acl2-books-source_4.1-5_all.deb  28 mirrors
4.88 MB2011-09-01acl2-books-source_4.2-1_all.deb  478+ mirrors
6.16 MB2012-05-17acl2-books-source_4.3-3_all.deb  info  browse  15 mirrors  Computational Logic for Applicative Common Lisp: library sources…more»   → /Main/Ubuntu/all/math/
7.46 MB2013-01-13acl2-books-source_6.0-2_all.deb  11 mirrors
7.29 MB2013-07-30acl2-books-source_6.2-6_all.deb  10 mirrors
6.16 MB2014-05-17acl2-books-source_6.4-4_all.deb  12 mirrors
1.08 MB2004-08-19acl2-books_2.8-4_amd64.deb  2 mirrors
854.96 KB2004-08-13acl2-books_2.8-4_i386.deb  2 mirrors
1.00 MB2004-11-11acl2-books_2.9-2_amd64.deb  2 mirrors
813.64 KB2004-11-11acl2-books_2.9-2_i386.deb  2 mirrors
1.44 MB2004-11-24acl2-books_2.9-2_ia64.deb  60 mirrors
1.21 MB2004-11-11acl2-books_2.9-2_powerpc.deb
3.46 MB2005-10-08acl2-books_2.9.3-5build1_hppa.deb
812.66 KB2005-10-07acl2-books_2.9.3-5build1_i386.deb  3 mirrors
1.49 MB2005-10-07acl2-books_2.9.3-5build1_ia64.deb
1.07 MB2005-10-28acl2-books_2.9.3-7_amd64.deb  22 mirrors
812.79 KB2005-10-26acl2-books_2.9.3-7_i386.deb  22 mirrors
1.49 MB2005-10-27acl2-books_2.9.3-7_ia64.deb
1.18 MB2005-12-20acl2-books_2.9.3-7_powerpc.deb  22 mirrors
975.02 KB2005-11-08acl2-books_2.9.3-7_sparc.deb  22 mirrors
1.55 MB2006-06-20acl2-books_3.0-1_amd64.deb  8 mirrors
1.14 MB2006-06-20acl2-books_3.0-1_i386.deb  9 mirrors
1.38 MB2006-06-21acl2-books_3.0-1_sparc.deb  2 mirrors
2.01 MB2006-12-06acl2-books_3.1-1_amd64.deb  10 mirrors
<<     1   2   3   4   5   6   7   8     >>
Results 1 - 50 of 390
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com