[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 7034d77d3768dacd09913d197a647c9ef2c8de99
Author: Ralf Treinen <treinen at free.fr>
Date:   Sat Nov 27 12:36:47 2010 +0100

    update vesion in ceve NEWS

diff --git a/debian/ceve.NEWS b/debian/ceve.NEWS
index 1719269..46bb041 100644
--- a/debian/ceve.NEWS
+++ b/debian/ceve.NEWS
@@ -1,4 +1,4 @@
-ceve (0.7.3-1-1) experimental; urgency=low
+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,

-- 
dose3 packaging