../ coq-doc-html_8.15.0-3_all.deb 17-Mar-2022 12:45 1M coq-doc-html_8.18.0-1_all.deb 03-Apr-2024 01:35 1M coq-doc-html_8.19.1-2_all.deb 19-Jun-2024 03:09 1M coq-doc-html_8.4pl2-1_all.deb 14-Dec-2013 03:23 404K coq-doc-html_8.4pl4-2_all.deb 12-Feb-2016 10:15 406K coq-doc-html_8.6-1_all.deb 14-Jul-2017 15:46 452K coq-doc-pdf_8.15.0-3_all.deb 17-Mar-2022 12:45 4M coq-doc-pdf_8.18.0-1_all.deb 03-Apr-2024 01:35 5M coq-doc-pdf_8.19.1-2_all.deb 19-Jun-2024 03:09 5M coq-doc-pdf_8.4pl2-1_all.deb 14-Dec-2013 03:23 2M coq-doc-pdf_8.4pl4-2_all.deb 12-Feb-2016 10:15 2M coq-doc-pdf_8.6-1_all.deb 14-Jul-2017 15:47 2M coq-doc_8.15.0-3.debian.tar.xz 23-Feb-2022 02:54 7600 coq-doc_8.15.0-3.dsc 23-Feb-2022 02:54 2554 coq-doc_8.15.0-3_all.deb 17-Mar-2022 12:45 4012 coq-doc_8.15.0.orig.tar.gz 09-Feb-2022 09:05 7M coq-doc_8.18.0-1.debian.tar.xz 26-Jan-2024 02:45 8064 coq-doc_8.18.0-1.dsc 26-Jan-2024 02:45 2560 coq-doc_8.18.0-1_all.deb 03-Apr-2024 01:35 4020 coq-doc_8.18.0.orig.tar.gz 26-Jan-2024 02:45 7M coq-doc_8.19.1-2.debian.tar.xz 19-Jun-2024 03:09 8128 coq-doc_8.19.1-2.dsc 19-Jun-2024 03:09 2328 coq-doc_8.19.1-2_all.deb 19-Jun-2024 03:09 4022 coq-doc_8.19.1.orig.tar.gz 02-May-2024 15:23 7M coq-doc_8.4pl2-1.debian.tar.gz 14-Dec-2013 02:43 8729 coq-doc_8.4pl2-1.dsc 14-Dec-2013 02:43 2237 coq-doc_8.4pl2-1_all.deb 14-Dec-2013 03:23 4456 coq-doc_8.4pl2.orig.tar.gz 14-Dec-2013 02:43 4M coq-doc_8.4pl4-2.debian.tar.xz 12-Feb-2016 08:43 8404 coq-doc_8.4pl4-2.dsc 12-Feb-2016 08:43 2243 coq-doc_8.4pl4-2_all.deb 12-Feb-2016 10:15 4402 coq-doc_8.4pl4.orig.tar.gz 24-Oct-2014 11:35 4M coq-doc_8.6-1.debian.tar.xz 14-Jul-2017 15:45 8304 coq-doc_8.6-1.dsc 14-Jul-2017 15:45 2311 coq-doc_8.6-1_all.deb 14-Jul-2017 15:47 4390 coq-doc_8.6.orig.tar.gz 14-Jul-2017 15:45 5M