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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e11d1ce28828bda7d8c5d384aa4a61a2f3e896db
Author: Ralf Treinen <treinen at debian.org>
Date:   Fri Nov 5 16:16:36 2010 +0100

    files for ceve

diff --git a/debian/ceve.NEWS b/debian/ceve.NEWS
new file mode 100644
index 0000000..fdb53e6
--- /dev/null
+++ b/debian/ceve.NEWS
@@ -0,0 +1,7 @@
+ceve (1:0.7.3-1-1) experimental; urgency=low
+
+    The format EGraph, which was one of the possible input and output
+    formats of earlier versions of ceve based on the dose and dose2
+    libraries, is no longer supported.
+
+ -- Ralf Treinen <treinen at debian.org>  Fri, 05 Nov 2010 14:56:17 +0100
diff --git a/debian/ceve.install b/debian/ceve.install
new file mode 100644
index 0000000..909239e
--- /dev/null
+++ b/debian/ceve.install
@@ -0,0 +1 @@
+usr/bin/ceve

-- 
dose3 packaging