[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-67-g11be994

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 11be9941f8014bccecc7dd68814f170758b372ed
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Nov 27 12:37:48 2010 +0100

    improve NEWS

diff --git a/debian/ceve.NEWS b/debian/ceve.NEWS
index 46bb041..2c6cf90 100644
--- a/debian/ceve.NEWS
+++ b/debian/ceve.NEWS
@@ -1,8 +1,8 @@
 ceve (2.9.0-1) experimental; urgency=low
 
     Several of the input and output formats of earlier versions of
-    ceve versions 1.x and 2.x are no longer supported: EGraph, Oz,
-    and tart (which has been replaced by CNF). The new output format
-    DIMACS has been added.
+    ceve versions are no longer supported: EGraph, Oz, and tart (which
+    has been replaced by CNF). The new output format DIMACS has been
+    added.
 
  -- Ralf Treinen <treinen at debian.org>  Fri, 05 Nov 2010 14:56:17 +0100

-- 
dose3 packaging