Filewatcher File Search File Search
Catalog
Content Search
ftp://132.181.7.179/pub/linux/mint/debian/pools/B/pool/main/a/agda-stdlib/  direct

1.13 MB2010-03-02agda-stdlib-doc_0.3-3_all.deb  144 mirrors
1.63 MB2012-03-13agda-stdlib-doc_0.6-2_all.deb  760+ mirrors
1.66 MB2013-05-26agda-stdlib-doc_0.7-2_all.deb  25 mirrors
3.69 KB2010-03-02agda-stdlib_0.3-3.diff.gz  117 mirrors
1.25 KB2010-03-02agda-stdlib_0.3-3.dsc  117 mirrors
11.51 MB2010-03-02agda-stdlib_0.3-3_amd64.deb  info  browse  131 mirrors  a dependently typed programming language - standard library…more»   → /Main/Debian/amd64/libs/
11.51 MB2010-03-02agda-stdlib_0.3-3_i386.deb  127 mirrors
146.63 KB2010-02-04agda-stdlib_0.3.orig.tar.gz  info  browse  121 mirrors   → /Main/Debian/Other/
4.13 KB2012-03-13agda-stdlib_0.6-2.debian.tar.gz  1206+ mirrors
1.40 KB2012-03-13agda-stdlib_0.6-2.dsc  1196+ mirrors
16.19 MB2012-03-13agda-stdlib_0.6-2_all.deb  760+ mirrors
211.20 KB2011-12-29agda-stdlib_0.6.orig.tar.gz  1194+ mirrors
4.35 KB2013-05-26agda-stdlib_0.7-2.debian.tar.gz  482+ mirrors
2.03 KB2013-05-26agda-stdlib_0.7-2.dsc  477+ mirrors
17.26 MB2013-05-26agda-stdlib_0.7-2_all.deb  25 mirrors
221.09 KB2013-04-09agda-stdlib_0.7.orig.tar.gz  479+ mirrors
Results 1 - 16 of 16
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com