The following commit has been merged in the master branch:
commit 2dd9e5d0a163b95453d5dd78e8487bd48f9b220e
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jul 29 23:08:08 2008 +0200
Set doc-base section to Science/Mathematics
diff --git a/debian/coq-libs.doc-base b/debian/coq-libs.doc-base
index 1a62a26..8a727b1 100644
--- a/debian/coq-libs.doc-base
+++ b/debian/coq-libs.doc-base
@@ -2,7 +2,7 @@ Document: coq-library
Title: The Coq Standard Library
Author: The Coq Development Team
Abstract: Standard Library documentation of version 8.0 of the Coq proof
assistant which is a system designed to develop mathematical proofs, and
especially to write formal specifications, programs and to verify that programs
are correct with respect to their specification.
-Section: Apps/Math
+Section: Science/Mathematics
Format: HTML
Index: /usr/share/doc/coq-libs/html/index.html
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
