ftp.ntua.gr:/debian/pool/non-free/c/coq-doc/ 
Icon  Name                           Last modified      Size  
[DIR] Parent Directory                                    -   
[   ] coq-doc-html_8.4pl4-1_all.deb  17-Aug-2014 16:30  463K  
[   ] coq-doc-html_8.4pl4-2_all.deb  11-Feb-2016 23:59  463K  
[   ] coq-doc-html_8.6-1_all.deb     13-Jul-2017 13:50  536K  
[   ] coq-doc-pdf_8.4pl4-1_all.deb   17-Aug-2014 16:30  2.4M  
[   ] coq-doc-pdf_8.4pl4-2_all.deb   11-Feb-2016 23:59  2.4M  
[   ] coq-doc-pdf_8.6-1_all.deb      13-Jul-2017 13:50  2.5M  
[   ] coq-doc_8.4pl4-1.debian.tar.xz 17-Aug-2014 16:30  7.9K  
[   ] coq-doc_8.4pl4-1.dsc           17-Aug-2014 16:30  2.2K  
[   ] coq-doc_8.4pl4-1_all.deb       17-Aug-2014 16:30   49K  
[   ] coq-doc_8.4pl4-2.debian.tar.xz 11-Feb-2016 23:59  8.2K  
[   ] coq-doc_8.4pl4-2.dsc           11-Feb-2016 23:59  2.2K  
[   ] coq-doc_8.4pl4-2_all.deb       11-Feb-2016 23:59   49K  
[   ] coq-doc_8.4pl4.orig.tar.gz     17-Aug-2014 16:30  3.9M  
[   ] coq-doc_8.6-1.debian.tar.xz    13-Jul-2017 13:50  8.1K  
[   ] coq-doc_8.6-1.dsc              13-Jul-2017 13:50  2.3K  
[   ] coq-doc_8.6-1_all.deb          13-Jul-2017 13:50   62K  
[   ] coq-doc_8.6.orig.tar.gz        13-Jul-2017 13:50  5.3M
Apache/2.2 Server at ftp.ntua.gr Port 80