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

Reply via email to