Checksum: e140027da1bef754859b76d0cca1a82b59792661ff447846eb435fb8fa5fb86a (page 1)

• coq-doc/8.2pl1-1/debian/coq-doc-pdf.doc-base.faq
• coq-doc/8.3pl4-1/debian/coq-doc-pdf.doc-base.faq
• coq-doc/8.4pl4-1/debian/coq-doc-pdf.doc-base.faq
• coq-doc/8.4pl4-2/debian/coq-doc-pdf.doc-base.faq