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

../
coq-doc_8.15.0-1.debian.tar.xz                     08-Feb-2022 18:32                7480
coq-doc_8.15.0-1.dsc                               08-Feb-2022 18:32                2392
coq-doc_8.15.0.orig.tar.gz                         08-Feb-2022 18:32             7215106
coq-doc_8.2pl1-1.debian.tar.gz                     24-Feb-2013 23:26                8584
coq-doc_8.2pl1-1.dsc                               24-Feb-2013 23:26                2103
coq-doc_8.2pl1.orig.tar.gz                         24-Feb-2013 23:26             3600620
coq-doc_8.3pl4-1.debian.tar.gz                     06-Apr-2012 06:17                8614
coq-doc_8.3pl4-1.dsc                               06-Apr-2012 06:17                2226
coq-doc_8.3pl4.orig.tar.gz                         06-Apr-2012 06:17             3855074
coq-doc_8.4pl2-1.debian.tar.gz                     13-Dec-2013 14:10                8729
coq-doc_8.4pl2-1.dsc                               13-Dec-2013 14:10                2237
coq-doc_8.4pl2.orig.tar.gz                         13-Dec-2013 14:10             4145112
coq-doc_8.4pl4-1.debian.tar.xz                     17-Aug-2014 13:30                8084
coq-doc_8.4pl4-1.dsc                               17-Aug-2014 13:30                2243
coq-doc_8.4pl4-2.debian.tar.xz                     12-Feb-2016 04:42                8404
coq-doc_8.4pl4-2.dsc                               12-Feb-2016 04:42                2243
coq-doc_8.4pl4.orig.tar.gz                         17-Aug-2014 13:30             4067355
coq-doc_8.6-1.debian.tar.xz                        13-Jul-2017 18:01                8304
coq-doc_8.6-1.dsc                                  13-Jul-2017 18:01                2311
coq-doc_8.6.orig.tar.gz                            13-Jul-2017 18:01             5538848