1. coq-doc-html_8.16.1-1_all.deb
2. coq-doc-html_8.20.0-1_all.deb
3. coq-doc-pdf_8.16.1-1_all.deb
4. coq-doc-pdf_8.20.0-1_all.deb
5. coq-doc_8.16.1-1.debian.tar.xz
6. coq-doc_8.16.1-1.dsc
7. coq-doc_8.16.1-1_all.deb
8. coq-doc_8.16.1.orig.tar.gz
9. coq-doc_8.20.0-1.debian.tar.xz
10. coq-doc_8.20.0-1.dsc
11. coq-doc_8.20.0-1_all.deb
12. coq-doc_8.20.0.orig.tar.gz