Index of /debian/pool/non-free/c/coq-doc

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 coq-doc_8.6.orig.tar.gz        13-Jul-2017 13:50  5.3M  
 coq-doc_8.6-1_all.deb          13-Jul-2017 13:50   62K  
 coq-doc_8.6-1.dsc              13-Jul-2017 13:50  2.3K  
 coq-doc_8.6-1.debian.tar.xz    13-Jul-2017 13:50  8.1K  
 coq-doc_8.4pl4.orig.tar.gz     17-Aug-2014 16:30  3.9M  
 coq-doc_8.4pl4-2_all.deb       11-Feb-2016 23:59   49K  
 coq-doc_8.4pl4-2.dsc           11-Feb-2016 23:59  2.2K  
 coq-doc_8.4pl4-2.debian.tar.xz 11-Feb-2016 23:59  8.2K  
 coq-doc_8.4pl4-1_all.deb       17-Aug-2014 16:30   49K  
 coq-doc_8.4pl4-1.dsc           17-Aug-2014 16:30  2.2K  
 coq-doc_8.4pl4-1.debian.tar.xz 17-Aug-2014 16:30  7.9K  
 coq-doc_8.3pl4.orig.tar.gz     06-Apr-2012 09:17  3.7M  
 coq-doc_8.3pl4-1_all.deb       06-Apr-2012 09:17   44K  
 coq-doc_8.3pl4-1.dsc           06-Apr-2012 09:17  2.2K  
 coq-doc_8.3pl4-1.debian.tar.gz 06-Apr-2012 09:17  8.4K  
 coq-doc-pdf_8.6-1_all.deb      13-Jul-2017 13:50  2.5M  
 coq-doc-pdf_8.4pl4-2_all.deb   11-Feb-2016 23:59  2.4M  
 coq-doc-pdf_8.4pl4-1_all.deb   17-Aug-2014 16:30  2.4M  
 coq-doc-pdf_8.3pl4-1_all.deb   06-Apr-2012 09:17  2.3M  
 coq-doc-html_8.6-1_all.deb     13-Jul-2017 13:50  536K  
 coq-doc-html_8.4pl4-2_all.deb  11-Feb-2016 23:59  463K  
 coq-doc-html_8.4pl4-1_all.deb  17-Aug-2014 16:30  463K  
 coq-doc-html_8.3pl4-1_all.deb  06-Apr-2012 09:17  543K