[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.0-1-26-g3fb94df

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 3fb94df9482cb73a8cb57eeafde465285b5b3846
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun May 15 19:21:51 2011 +0200

    update version in ceve NEWS

diff --git a/debian/ceve.NEWS b/debian/ceve.NEWS
index 2c6cf90..a94f199 100644
--- a/debian/ceve.NEWS
+++ b/debian/ceve.NEWS
@@ -1,4 +1,4 @@
-ceve (2.9.0-1) experimental; urgency=low
+ceve (2.9.3-1) experimental; urgency=low
 
     Several of the input and output formats of earlier versions of
     ceve versions are no longer supported: EGraph, Oz, and tart (which

-- 
dose3 packaging