diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-07-29 23:08:08 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-07-29 23:08:08 +0200 |
| commit | 2dd9e5d0a163b95453d5dd78e8487bd48f9b220e (patch) | |
| tree | 730767809b0493fe72a8fd2a584394dd71108747 | |
| parent | 284e68ace18db77fed501d3d64ff3cb54d44c02c (diff) | |
Set doc-base section to Science/Mathematics
| -rw-r--r-- | debian/coq-libs.doc-base | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/coq-libs.doc-base b/debian/coq-libs.doc-base index 1a62a262..8a727b1d 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 |