[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-4-4-gbeb7d53

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 9c1344f1390bc86887ef1a39b46ef12e896e2399
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Feb 10 09:20:56 2010 +0100

    Make NEWS file Lintian-friendly

diff --git a/debian/NEWS b/debian/NEWS
index 87e9946..b0d1db5 100644
--- a/debian/NEWS
+++ b/debian/NEWS
@@ -1,7 +1,8 @@
 coq (8.2~rc2+dfsg-1) experimental; urgency=low
 
-  * The Coq library for programming in OCaml is now in its own binary
-    package, libcoq-ocaml-dev, along with coqmktop. The theories have
-    been moved from coq-libs to the more expressive name coq-theories.
+    The Coq library for programming in OCaml is now in its own binary
+    package, libcoq-ocaml-dev, along with coqmktop. The theories have been
+    moved from coq-libs to the more expressive name coq-theories.
+
+ -- Stéphane Glondu <glondu at debian.org>  Mon, 02 Feb 2009 09:48:03 +0100
 
- -- Stephane Glondu <steph at glondu.net>  Mon, 02 Feb 2009 09:48:03 +0100

-- 
coq packaging