Index of /ubuntu/pool/multiverse/c/coq-doc

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 coq-doc_8.4pl2-1.dsc                 13-Dec-2013 18:13  2.2K  
 coq-doc_8.4pl4-2.dsc                 12-Feb-2016 00:13  2.2K  
 coq-doc_8.3pl2-1build1.dsc           02-Mar-2012 13:33  2.2K  
 coq-doc_8.6-1.dsc                    14-Jul-2017 08:15  2.3K  
 coq-doc_8.6-1_all.deb                14-Jul-2017 08:17  4.3K  
 coq-doc_8.4pl4-2_all.deb             12-Feb-2016 01:45  4.3K  
 coq-doc_8.4pl2-1_all.deb             13-Dec-2013 18:53  4.4K  
 coq-doc_8.3pl2-1build1_all.deb       02-Mar-2012 14:07  4.5K  
 coq-doc_8.6-1.debian.tar.xz          14-Jul-2017 08:15  8.1K  
 coq-doc_8.4pl4-2.debian.tar.xz       12-Feb-2016 00:13  8.2K  
 coq-doc_8.4pl2-1.debian.tar.gz       13-Dec-2013 18:13  8.5K  
 coq-doc_8.3pl2-1build1.debian.tar.gz 02-Mar-2012 13:33  8.6K  
 coq-doc-html_8.4pl2-1_all.deb        13-Dec-2013 18:53  404K  
 coq-doc-html_8.4pl4-2_all.deb        12-Feb-2016 01:45  406K  
 coq-doc-html_8.6-1_all.deb           14-Jul-2017 08:16  452K  
 coq-doc-html_8.3pl2-1build1_all.deb  02-Mar-2012 14:07  488K  
 coq-doc-pdf_8.3pl2-1build1_all.deb   02-Mar-2012 14:07  2.3M  
 coq-doc-pdf_8.4pl2-1_all.deb         13-Dec-2013 18:53  2.3M  
 coq-doc-pdf_8.4pl4-2_all.deb         12-Feb-2016 01:45  2.3M  
 coq-doc-pdf_8.6-1_all.deb            14-Jul-2017 08:17  2.4M  
 coq-doc_8.3pl2.orig.tar.gz           10-May-2011 11:08  3.6M  
 coq-doc_8.4pl4.orig.tar.gz           24-Oct-2014 04:05  3.9M  
 coq-doc_8.4pl2.orig.tar.gz           13-Dec-2013 18:13  4.0M  
 coq-doc_8.6.orig.tar.gz              14-Jul-2017 08:15  5.3M