[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-14-g128255c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 8d4e5211f50243595992d39bb58b6908f72d41c8
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Mar 11 17:12:00 2009 +0100

    More detailed long description

diff --git a/debian/control b/debian/control
index e95fd25..5d80ca5 100644
--- a/debian/control
+++ b/debian/control
@@ -15,5 +15,8 @@ Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git
 Package: libfloat-coq
 Architecture: all
 Depends: ${shlibs:Depends}, ${misc:Depends}, coq-${F:CoqABI}
-Description: coq library for floating point numbers
- Library for reasoning about floating point numbers in coq.
+Description: Coq library on floating-point arithmetic
+ This package provides PFF (Preuves Formelles sur les Flottants =
+ Formal Proofs about Floats), a library for reasoning about
+ floating-point arithmetic in Coq. It contains both definitions and
+ proofs of basic facts, old & new properties and algorithms.

-- 
coq-float packaging