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

../
coq-doc-html_8.3pl2-1build1_all.deb                03-Mar-2012 03:07    488K
coq-doc-html_8.4pl2-1_all.deb                      14-Dec-2013 07:53    404K
coq-doc-html_8.4pl4-1_all.deb                      25-Oct-2014 12:35    407K
coq-doc-html_8.4pl4-2_all.deb                      12-Feb-2016 14:45    406K
coq-doc-html_8.6-1_all.deb                         14-Jul-2017 20:16    452K
coq-doc-pdf_8.3pl2-1build1_all.deb                 03-Mar-2012 03:07      2M
coq-doc-pdf_8.4pl2-1_all.deb                       14-Dec-2013 07:53      2M
coq-doc-pdf_8.4pl4-1_all.deb                       25-Oct-2014 12:35      2M
coq-doc-pdf_8.4pl4-2_all.deb                       12-Feb-2016 14:45      2M
coq-doc-pdf_8.6-1_all.deb                          14-Jul-2017 20:17      2M
coq-doc_8.3pl2-1build1.debian.tar.gz               03-Mar-2012 02:33    8788
coq-doc_8.3pl2-1build1.dsc                         03-Mar-2012 02:33    2250
coq-doc_8.3pl2-1build1_all.deb                     03-Mar-2012 03:07    4594
coq-doc_8.3pl2.orig.tar.gz                         10-May-2011 23:08      4M
coq-doc_8.4pl2-1.debian.tar.gz                     14-Dec-2013 07:13    8729
coq-doc_8.4pl2-1.dsc                               14-Dec-2013 07:13    2237
coq-doc_8.4pl2-1_all.deb                           14-Dec-2013 07:53    4456
coq-doc_8.4pl2.orig.tar.gz                         14-Dec-2013 07:13      4M
coq-doc_8.4pl4-1.debian.tar.xz                     24-Oct-2014 16:05    8084
coq-doc_8.4pl4-1.dsc                               24-Oct-2014 16:05    2243
coq-doc_8.4pl4-1_all.deb                           25-Oct-2014 12:35    4456
coq-doc_8.4pl4-2.debian.tar.xz                     12-Feb-2016 13:13    8404
coq-doc_8.4pl4-2.dsc                               12-Feb-2016 13:13    2243
coq-doc_8.4pl4-2_all.deb                           12-Feb-2016 14:45    4402
coq-doc_8.4pl4.orig.tar.gz                         24-Oct-2014 16:05      4M
coq-doc_8.6-1.debian.tar.xz                        14-Jul-2017 20:15    8304
coq-doc_8.6-1.dsc                                  14-Jul-2017 20:15    2311
coq-doc_8.6-1_all.deb                              14-Jul-2017 20:17    4390
coq-doc_8.6.orig.tar.gz                            14-Jul-2017 20:15      5M