Package: coq-doc-html Version: 8.0pl3+8.1alpha-1 Severity: important when trying to install the experimental coq-doc-html package, it failed due to a type in /usr/share/doc-base/coq-rectutorial. One read as section: tion: Apps/Math when it should be Section: Apps/Math
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
