[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. eb4fb9a969b7336149caf5b5bb51235fc67e2406

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 25adb57363ffb21f65aa44c2cbd6e810f2506fc9
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Tue Jun 3 14:07:44 2008 +0200

    debhelper compatibility set to 7

diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..7f8f011
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+7

-- 
ceve packaging