The following commit has been merged in the master branch:
commit 3fb94df9482cb73a8cb57eeafde465285b5b3846
Author: Ralf Treinen <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to