[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-32-gdb4ea6d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 2dd9e5d0a163b95453d5dd78e8487bd48f9b220e
Author: Stephane Glondu <steph at glondu.net>
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