Filewatcher File Search File Search
Catalog
Content Search
ftp://ftp.csie.chu.edu.tw/Ubuntu/archive/pool/universe/a/alt-ergo/  direct

9.74 KB2010-02-26alt-ergo_0.9-1build1.diff.gz  61 mirrors
1.60 KB2010-02-26alt-ergo_0.9-1build1.dsc  61 mirrors
546.84 KB2010-02-26alt-ergo_0.9-1build1_amd64.deb  63 mirrors
421.34 KB2010-02-26alt-ergo_0.9-1build1_i386.deb  65 mirrors
110.50 KB2009-11-02alt-ergo_0.9.orig.tar.gz  info  browse  64 mirrors   → /Main/Ubuntu/Other/
12.60 KB2011-12-24alt-ergo_0.94-1.diff.gz  461+ mirrors
2.06 KB2011-12-24alt-ergo_0.94-1.dsc  462+ mirrors
2.30 MB2011-12-24alt-ergo_0.94-1_amd64.deb  460+ mirrors
1.92 MB2011-12-24alt-ergo_0.94-1_i386.deb  info  browse  463+ mirrors  Automatic theorem prover dedicated to program verification…more»   → /Main/Ubuntu/i386/math/
184.00 KB2011-12-24alt-ergo_0.94.orig.tar.gz  info  browse  1196+ mirrors   → /Main/Debian/Other/
11.67 KB2013-12-22alt-ergo_0.95.2-1build1.debian.tar.gz  459+ mirrors
1.58 KB2013-12-22alt-ergo_0.95.2-1build1.dsc  454+ mirrors
1.50 MB2013-12-22alt-ergo_0.95.2-1build1_amd64.deb  452+ mirrors
1.35 MB2013-12-22alt-ergo_0.95.2-1build1_i386.deb  452+ mirrors
11.00 KB2014-04-27alt-ergo_0.95.2-3.debian.tar.xz  1180+ mirrors
2.20 KB2014-04-27alt-ergo_0.95.2-3.dsc  1165+ mirrors
1.50 MB2014-04-27alt-ergo_0.95.2-3_amd64.deb  439+ mirrors
1.36 MB2014-04-27alt-ergo_0.95.2-3_i386.deb  440+ mirrors
228.30 KB2013-11-16alt-ergo_0.95.2.orig.tar.gz  1186+ mirrors
12.31 KB2015-06-07alt-ergo_0.99.1+dfsg1-4.debian.tar.xz  20 mirrors
2.18 KB2015-06-07alt-ergo_0.99.1+dfsg1-4.dsc  20 mirrors
1.92 MB2015-06-07alt-ergo_0.99.1+dfsg1-4_amd64.deb  5 mirrors
1.78 MB2015-06-07alt-ergo_0.99.1+dfsg1-4_i386.deb  5 mirrors
217.67 KB2015-05-05alt-ergo_0.99.1+dfsg1.orig.tar.gz  463+ mirrors
701.30 KB2013-12-22libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb  452+ mirrors
701.06 KB2013-12-22libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb  452+ mirrors
698.07 KB2014-04-27libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb  439+ mirrors
702.20 KB2014-04-27libalt-ergo-ocaml-dev_0.95.2-3_i386.deb  440+ mirrors
Results 1 - 28 of 28
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com