Filewatcher File Search File Search
Catalog
Content Search
ftp://ftp.fedora.is/pub/mint/latest/pools/B/pool/main/a/acl2/  direct

1.91 MB2010-07-08acl2-books-certs_4.0-3_all.deb  128 mirrors
4.22 MB2012-04-19acl2-books-certs_4.3-3_all.deb  759+ mirrors
4.95 MB2013-01-12acl2-books-certs_6.0-2_all.deb  20 mirrors
3.46 MB2013-11-15acl2-books-certs_6.3-6_all.deb  21 mirrors
5.04 MB2010-07-08acl2-books-source_4.0-3_all.deb  info  browse  132 mirrors  A Computational Logic for Applicative Common Lisp: library sources…more»   → /Main/Debian/all/math/
6.16 MB2012-04-19acl2-books-source_4.3-3_all.deb  info  browse  763+ mirrors  Computational Logic for Applicative Common Lisp: library sources…more»   → /Main/Debian/all/math/
7.46 MB2013-01-12acl2-books-source_6.0-2_all.deb  20 mirrors
5.18 MB2013-11-15acl2-books-source_6.3-6_all.deb  21 mirrors
36.72 MB2010-07-08acl2-books_4.0-3_amd64.deb  127 mirrors
32.43 MB2010-07-08acl2-books_4.0-3_i386.deb  127 mirrors
12.64 MB2012-01-05acl2-books_4.2-1_s390x.deb  14 mirrors
15.21 MB2012-04-20acl2-books_4.3-3_amd64.deb  624+ mirrors
13.25 MB2012-04-19acl2-books_4.3-3_i386.deb  623+ mirrors
18.40 MB2013-11-15acl2-books_6.3-6_amd64.deb  19 mirrors
16.70 MB2013-11-16acl2-books_6.3-6_i386.deb  19 mirrors
2.70 MB2010-07-08acl2-doc_4.0-3_all.deb  128 mirrors
353.78 KB2012-04-19acl2-doc_4.3-3_all.deb  759+ mirrors
11.58 MB2013-01-12acl2-doc_6.0-2_all.deb  20 mirrors
11.53 MB2013-11-15acl2-doc_6.3-6_all.deb  21 mirrors
56.79 KB2010-07-08acl2-emacs_4.0-3_all.deb  128 mirrors
59.43 KB2012-04-19acl2-emacs_4.3-3_all.deb  759+ mirrors
60.57 KB2013-01-12acl2-emacs_6.0-2_all.deb  20 mirrors
51.56 KB2013-11-15acl2-emacs_6.3-6_all.deb  21 mirrors
87.22 KB2010-07-08acl2-infix-source_4.0-3_all.deb  info  browse  132 mirrors  A Computational Logic for Applicative Common Lisp: infix source…more»   → /Main/Debian/all/math/
89.35 KB2012-04-19acl2-infix-source_4.3-3_all.deb  759+ mirrors
90.18 KB2013-01-12acl2-infix-source_6.0-2_all.deb  20 mirrors
75.77 KB2013-11-15acl2-infix-source_6.3-6_all.deb  21 mirrors
420.48 KB2010-07-08acl2-infix_4.0-3_amd64.deb  127 mirrors
381.26 KB2010-07-08acl2-infix_4.0-3_i386.deb  127 mirrors
189.44 KB2012-01-05acl2-infix_4.2-1_s390x.deb  14 mirrors
198.90 KB2012-04-20acl2-infix_4.3-3_amd64.deb  624+ mirrors
179.77 KB2012-04-19acl2-infix_4.3-3_i386.deb  info  browse  627+ mirrors  Computational Logic for Applicative Common Lisp: infix interface…more»   → /Main/Debian/i386/math/
147.45 KB2013-11-15acl2-infix_6.3-6_amd64.deb  19 mirrors
141.99 KB2013-11-16acl2-infix_6.3-6_i386.deb  19 mirrors
2.89 MB2010-07-08acl2-source_4.0-3_all.deb  info  browse  132 mirrors  A Computational Logic for Applicative Common Lisp: source files…more»   → /Main/Debian/all/math/
3.14 MB2012-04-19acl2-source_4.3-3_all.deb  759+ mirrors
3.53 MB2013-01-12acl2-source_6.0-2_all.deb  20 mirrors
2.61 MB2013-11-15acl2-source_6.3-6_all.deb  21 mirrors
15.58 KB2010-07-08acl2_4.0-3.diff.gz  139 mirrors
1.14 KB2010-07-08acl2_4.0-3.dsc  139 mirrors
25.02 MB2010-07-08acl2_4.0-3_amd64.deb  info  browse  131 mirrors  A Computational Logic for Applicative Common Lisp: main binary…more»   → /Main/Debian/amd64/math/
21.33 MB2010-07-08acl2_4.0-3_i386.deb  info  browse  131 mirrors  A Computational Logic for Applicative Common Lisp: main binary…more»   → /Main/Debian/i386/math/
10.90 MB2010-07-07acl2_4.0.orig.tar.gz  142 mirrors
27.00 MB2012-01-05acl2_4.2-1_s390x.deb  14 mirrors
17.87 KB2012-04-19acl2_4.3-3.debian.tar.gz  747+ mirrors
1.46 KB2012-04-19acl2_4.3-3.dsc  742+ mirrors
27.01 MB2012-04-20acl2_4.3-3_amd64.deb  624+ mirrors
23.17 MB2012-04-19acl2_4.3-3_i386.deb  info  browse  627+ mirrors  Computational Logic for Applicative Common Lisp: main binary…more»   → /Main/Debian/i386/math/
14.54 MB2012-01-10acl2_4.3.orig.tar.gz  info  browse  747+ mirrors   → /Main/Debian/Other/
155.33 KB2013-01-12acl2_6.0-2.debian.tar.gz  27 mirrors
<<     1   2     >>
Results 1 - 50 of 59
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com