summaryrefslogtreecommitdiff
path: root/debian/coq-theories.doc-base
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <gareuselesinge@debian.org>2015-07-14 12:40:07 +0200
committerGravatar Enrico Tassi <gareuselesinge@debian.org>2015-07-14 16:46:37 +0200
commit9d22a41a7047e6462c28a11203bf30b7657a4b53 (patch)
treee027da54c624111d808081e2d3ff1acf51d4975b /debian/coq-theories.doc-base
parentf219abfed720305c13875c3c63f9240cf63f78bc (diff)
Packaging 8.5beta1
Diffstat (limited to 'debian/coq-theories.doc-base')
-rw-r--r--debian/coq-theories.doc-base2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/coq-theories.doc-base b/debian/coq-theories.doc-base
index ab3904e8..f21378b0 100644
--- a/debian/coq-theories.doc-base
+++ b/debian/coq-theories.doc-base
@@ -1,7 +1,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.
+Abstract: Standard Library documentation 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: Science/Mathematics
Format: HTML