[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. debian/0.8-1-6-g615b397

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c595582ba5e510ab57ad33516bbf8d399e333400
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 10:33:28 2009 +0100

    Use debhelper 7, ocaml 3.11 and add dh-ocaml to build-dep

diff --git a/debian/control b/debian/control
index 4d805d8..9c46c77 100644
--- a/debian/control
+++ b/debian/control
@@ -2,8 +2,16 @@ Source: alt-ergo
 Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
-Uploaders: Mehdi Dogguy <dogguy at pps.jussieu.fr>
-Build-Depends: debhelper (>= 6), autotools-dev, ocaml-nox (>= 3.10.0), libocamlgraph-ocaml-dev, dpatch
+Uploaders:
+ Mehdi Dogguy <dogguy at pps.jussieu.fr>
+DM-Upload-Allowed: yes
+Build-Depends:
+ debhelper (>= 7),
+ autotools-dev,
+ ocaml-nox (>= 3.11.0),
+ libocamlgraph-ocaml-dev,
+ dpatch,
+ dh-ocaml (>= 0.4.1)
 Homepage: http://alt-ergo.lri.fr
 Standards-Version: 3.8.0
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git

-- 
alt-ergo packaging