| ⬆️Parent directory | — | — |
| 📦coq-doc-html_8.15.0-3_all.deb | 1.29M | Thu Mar 17 2022 |
| 📦coq-doc-html_8.18.0-1_all.deb | 1.48M | Wed Apr 03 2024 |
| 📦coq-doc-html_8.20.0-2_all.deb | 1.54M | Fri Jan 24 2025 |
| 📦coq-doc-html_8.20.0-2build1_all.deb | 1.54M | Wed Dec 03 2025 |
| 📦coq-doc-html_8.4pl2-1_all.deb | 404K | Sat Dec 14 2013 |
| 📦coq-doc-html_8.4pl4-2_all.deb | 406K | Fri Feb 12 2016 |
| 📦coq-doc-html_8.6-1_all.deb | 452K | Fri Jul 14 2017 |
| 📦coq-doc-html_9.2.0-1_all.deb | 1.69M | Tue Aug 04 2026 |
| 📦coq-doc-pdf_8.15.0-3_all.deb | 3.88M | Thu Mar 17 2022 |
| 📦coq-doc-pdf_8.18.0-1_all.deb | 4.52M | Wed Apr 03 2024 |
| 📦coq-doc-pdf_8.20.0-2_all.deb | 4.83M | Fri Jan 24 2025 |
| 📦coq-doc-pdf_8.20.0-2build1_all.deb | 4.83M | Wed Dec 03 2025 |
| 📦coq-doc-pdf_8.4pl2-1_all.deb | 2.31M | Sat Dec 14 2013 |
| 📦coq-doc-pdf_8.4pl4-2_all.deb | 2.32M | Fri Feb 12 2016 |
| 📦coq-doc-pdf_8.6-1_all.deb | 2.42M | Fri Jul 14 2017 |
| 📦coq-doc-pdf_9.2.0-1_all.deb | 5.42M | Tue Aug 04 2026 |
| 📦coq-doc_8.15.0-3.debian.tar.xz | 7.43K | Wed Feb 23 2022 |
| 📄coq-doc_8.15.0-3.dsc | 2.5K | Wed Feb 23 2022 |
| 📦coq-doc_8.15.0-3_all.deb | 3.92K | Thu Mar 17 2022 |
| 📦coq-doc_8.15.0.orig.tar.gz | 6.89M | Wed Feb 09 2022 |
| 📦coq-doc_8.18.0-1.debian.tar.xz | 7.88K | Fri Jan 26 2024 |
| 📄coq-doc_8.18.0-1.dsc | 2.5K | Fri Jan 26 2024 |
| 📦coq-doc_8.18.0-1_all.deb | 3.93K | Wed Apr 03 2024 |
| 📦coq-doc_8.18.0.orig.tar.gz | 7.27M | Fri Jan 26 2024 |
| 📦coq-doc_8.20.0-2.debian.tar.xz | 8.62K | Fri Jan 24 2025 |
| 📄coq-doc_8.20.0-2.dsc | 2.52K | Fri Jan 24 2025 |
| 📦coq-doc_8.20.0-2_all.deb | 3.93K | Fri Jan 24 2025 |
| 📦coq-doc_8.20.0-2build1.debian.tar.xz | 8.7K | Wed Dec 03 2025 |
| 📄coq-doc_8.20.0-2build1.dsc | 2.5K | Wed Dec 03 2025 |
| 📦coq-doc_8.20.0-2build1_all.deb | 3.95K | Wed Dec 03 2025 |
| 📦coq-doc_8.20.0.orig.tar.gz | 7.48M | Fri Dec 27 2024 |
| 📦coq-doc_8.4pl2-1.debian.tar.gz | 8.53K | Sat Dec 14 2013 |
| 📄coq-doc_8.4pl2-1.dsc | 2.19K | Sat Dec 14 2013 |
| 📦coq-doc_8.4pl2-1_all.deb | 4.36K | Sat Dec 14 2013 |
| 📦coq-doc_8.4pl2.orig.tar.gz | 3.96M | Sat Dec 14 2013 |
| 📦coq-doc_8.4pl4-2.debian.tar.xz | 8.21K | Fri Feb 12 2016 |
| 📄coq-doc_8.4pl4-2.dsc | 2.2K | Fri Feb 12 2016 |
| 📦coq-doc_8.4pl4-2_all.deb | 4.3K | Fri Feb 12 2016 |
| 📦coq-doc_8.4pl4.orig.tar.gz | 3.88M | Fri Oct 24 2014 |
| 📦coq-doc_8.6-1.debian.tar.xz | 8.11K | Fri Jul 14 2017 |
| 📄coq-doc_8.6-1.dsc | 2.26K | Fri Jul 14 2017 |
| 📦coq-doc_8.6-1_all.deb | 4.29K | Fri Jul 14 2017 |
| 📦coq-doc_8.6.orig.tar.gz | 5.29M | Fri Jul 14 2017 |
| 📦coq-doc_9.2.0-1.debian.tar.xz | 8.42K | Tue Aug 04 2026 |
| 📄coq-doc_9.2.0-1.dsc | 2.51K | Tue Aug 04 2026 |
| 📦coq-doc_9.2.0-1_all.deb | 3.93K | Tue Aug 04 2026 |
| 📦coq-doc_9.2.0.orig.tar.gz | 6.26M | Tue Aug 04 2026 |