Filewatcher File Search File Search
Catalog
Content Search
ftp://ftp.sunet.se/cdimage/snapshot/Debian/pool/main/a/agda-stdlib/  direct

1.20 MB2016-01-03agda-stdlib-doc_0.11-1_all.deb  19 mirrors
1.22 MB2016-06-22agda-stdlib-doc_0.12-2_all.deb  787+ mirrors
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.18 MB2014-08-11agda-stdlib-doc_0.8-2_all.deb  738+ mirrors
4.49 KB2016-01-03agda-stdlib_0.11-1.debian.tar.xz  465+ mirrors
2.06 KB2016-01-03agda-stdlib_0.11-1.dsc  460+ mirrors
16.68 MB2016-01-03agda-stdlib_0.11-1_all.deb  19 mirrors
247.32 KB2016-01-03agda-stdlib_0.11.orig.tar.gz  457+ mirrors
4.88 KB2016-06-22agda-stdlib_0.12-2.debian.tar.xz  770+ mirrors
2.10 KB2016-06-22agda-stdlib_0.12-2.dsc  760+ mirrors
16.28 MB2016-06-22agda-stdlib_0.12-2_all.deb  787+ mirrors
248.07 KB2016-06-19agda-stdlib_0.12.orig.tar.gz  1180+ 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
11.49 MB2010-03-02agda-stdlib_0.3-3_kfreebsd-i386.deb  info  browse  81 mirrors  a dependently typed programming language - standard library…more»   → /Main/Debian/kfreebsd-i386/libs/
11.51 MB2010-03-03agda-stdlib_0.3-3_powerpc.deb  68 mirrors
11.51 MB2010-03-12agda-stdlib_0.3-3_sparc.deb  info  browse  77 mirrors  a dependently typed programming language - standard library…more»   → /Main/Debian/sparc/libs/
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.42 KB2014-08-11agda-stdlib_0.8-2.debian.tar.xz  1179+ mirrors
2.04 KB2014-08-11agda-stdlib_0.8-2.dsc  1164+ mirrors
22.44 MB2014-08-11agda-stdlib_0.8-2_all.deb  738+ mirrors
240.39 KB2014-08-04agda-stdlib_0.8.orig.tar.gz  1159+ mirrors
Results 1 - 29 of 29
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com