[NLUUG]   Welcome to ftp.nluug.nl
Current directory: /ftp/debian/pool/non-free/c/coq-doc/
 
Current bandwidth utilization 1868.15 Mbit/s
Bandwidth utilization bar

Icon  Name                           Last modified      Size  
[DIR] Parent Directory - [   ] coq-doc-html_8.4pl4-1_all.deb 17-Aug-2014 15:30 463K [   ] coq-doc-html_8.4pl4-2_all.deb 11-Feb-2016 22:59 463K [   ] coq-doc-html_8.6-1_all.deb 13-Jul-2017 12:50 536K [   ] coq-doc-pdf_8.4pl4-1_all.deb 17-Aug-2014 15:30 2.4M [   ] coq-doc-pdf_8.4pl4-2_all.deb 11-Feb-2016 22:59 2.4M [   ] coq-doc-pdf_8.6-1_all.deb 13-Jul-2017 12:50 2.5M [   ] coq-doc_8.4pl4-1.debian.tar.xz 17-Aug-2014 15:30 7.9K [   ] coq-doc_8.4pl4-1.dsc 17-Aug-2014 15:30 2.2K [   ] coq-doc_8.4pl4-1_all.deb 17-Aug-2014 15:30 49K [   ] coq-doc_8.4pl4-2.debian.tar.xz 11-Feb-2016 22:59 8.2K [   ] coq-doc_8.4pl4-2.dsc 11-Feb-2016 22:59 2.2K [   ] coq-doc_8.4pl4-2_all.deb 11-Feb-2016 22:59 49K [   ] coq-doc_8.4pl4.orig.tar.gz 17-Aug-2014 15:30 3.9M [   ] coq-doc_8.6-1.debian.tar.xz 13-Jul-2017 12:50 8.1K [   ] coq-doc_8.6-1.dsc 13-Jul-2017 12:50 2.3K [   ] coq-doc_8.6-1_all.deb 13-Jul-2017 12:50 62K [   ] coq-doc_8.6.orig.tar.gz 13-Jul-2017 12:50 5.3M

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!