[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-2-11-g2df5ee1

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 8fb5a0226665269bb176ef8a85c6c8cf6e567219
Author: Ralf Treinen <treinen at debian.org>
Date:   Sun Jun 21 19:47:29 2009 +0200

    Imported Debian patch 1.4.2-3

diff --git a/debian/contrib/add-sources.py b/debian/contrib/add-sources.py
old mode 100755
new mode 100644
diff --git a/debian/contrib/edos-builddebcheck b/debian/contrib/edos-builddebcheck
old mode 100755
new mode 100644
diff --git a/dql/.depend b/dql/.depend
new file mode 100644
index 0000000..69a0885
--- /dev/null
+++ b/dql/.depend
@@ -0,0 +1,18 @@
+query.cmo: 
+query.cmx: 
+help.cmo: help.cmi 
+help.cmx: help.cmi 
+gregorian.cmo: gregorian.cmi 
+gregorian.cmx: gregorian.cmi 
+cache.cmo: cache.cmi 
+cache.cmx: cache.cmi 
+error.cmo: error.cmi 
+error.cmx: error.cmi 
+interpreter.cmo: query.cmo lexic.cmi help.cmi interpreter.cmi 
+interpreter.cmx: query.cmx lexic.cmi help.cmx interpreter.cmi 
+help.cmi: 
+gregorian.cmi: 
+cache.cmi: 
+error.cmi: 
+interpreter.cmi: query.cmo 
+lexic.cmi: 

-- 
pkglab packaging