Filewatcher File Search File Search
Catalog
Content Search
ftp://193.52.101.41/ubuntu/pool/universe/a/alt-ergo/  direct

12.60 KB2011-12-25alt-ergo_0.94-1.diff.gz  461+ mirrors
2.06 KB2011-12-25alt-ergo_0.94-1.dsc  462+ mirrors
2.30 MB2011-12-25alt-ergo_0.94-1_amd64.deb  460+ mirrors
1.92 MB2011-12-25alt-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-25alt-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.45 KB2015-09-07alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz  446+ mirrors
2.20 KB2015-09-07alt-ergo_0.99.1+dfsg1-4build1.dsc  441+ mirrors
1.93 MB2015-09-07alt-ergo_0.99.1+dfsg1-4build1_amd64.deb  434+ mirrors
1.78 MB2015-09-07alt-ergo_0.99.1+dfsg1-4build1_i386.deb  435+ mirrors
12.49 KB2016-02-11alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz  443+ mirrors
2.20 KB2016-02-11alt-ergo_0.99.1+dfsg1-4build3.dsc  439+ mirrors
1.90 MB2016-02-11alt-ergo_0.99.1+dfsg1-4build3_amd64.deb  437+ mirrors
1.80 MB2016-02-11alt-ergo_0.99.1+dfsg1-4build3_i386.deb  438+ mirrors
217.67 KB2015-05-05alt-ergo_0.99.1+dfsg1.orig.tar.gz  463+ mirrors
12.90 KB2016-04-25alt-ergo_1.01-1.debian.tar.xz  1203+ mirrors
2.12 KB2016-04-25alt-ergo_1.01-1.dsc  1189+ mirrors
1.92 MB2016-04-25alt-ergo_1.01-1_amd64.deb  426+ mirrors
1.58 MB2016-04-25alt-ergo_1.01-1_i386.deb  427+ mirrors
221.41 KB2016-04-25alt-ergo_1.01.orig.tar.gz  1184+ mirrors
13.91 KB2016-12-12alt-ergo_1.30-1.debian.tar.xz  931+ mirrors
2.19 KB2016-12-12alt-ergo_1.30-1.dsc  919+ mirrors
2.25 MB2016-12-12alt-ergo_1.30-1_amd64.deb  390+ mirrors
1.80 MB2016-12-12alt-ergo_1.30-1_i386.deb  390+ mirrors
371.42 KB2016-12-12alt-ergo_1.30.orig.tar.gz  914+ 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 - 37 of 37
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com