Filewatcher File Search File Search
Catalog
Content Search
ftp://ftp.ticklers.org/archive.debian.org/debian/pool/main/a/agda-stdlib/  direct

1.13 MB2010-03-02agda-stdlib-doc_0.3-3_all.deb  144 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/
Results 1 - 9 of 9
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com