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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit a03f71b03c816e8c7dc3fe6d680fa947adc66cdf
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Jul 6 23:16:02 2009 +0200

    Imported Debian patch 0.9-1

diff --git a/debian/changelog b/debian/changelog
index f003507..0483928 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+alt-ergo (0.9-1) unstable; urgency=low
+
+  * New Upstream Version
+  * Update build dependencies to ease OCaml 3.11.1 transition
+  * Bump standards version to 3.8.2
+
+ -- Mehdi Dogguy <dogguy at pps.jussieu.fr>  Mon, 06 Jul 2009 23:16:02 +0200
+
 alt-ergo (0.8-1) unstable; urgency=low
 
   * Initial release (Closes: #468557)
diff --git a/debian/control b/debian/control
index a69d3b3..8e176e2 100644
--- a/debian/control
+++ b/debian/control
@@ -8,12 +8,12 @@ DM-Upload-Allowed: yes
 Build-Depends:
  debhelper (>= 7),
  autotools-dev,
- ocaml-nox (>= 3.11.0),
- libocamlgraph-ocaml-dev (>= 1.0),
+ ocaml-nox (>= 3.11.1),
+ libocamlgraph-ocaml-dev (>= 1.1),
  dpatch,
  dh-ocaml (>= 0.4.1)
 Homepage: http://alt-ergo.lri.fr
-Standards-Version: 3.8.0
+Standards-Version: 3.8.2
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/alt-ergo.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
 
diff --git a/debian/patches/01_no_debug.dpatch b/debian/patches/01_no_debug.dpatch
old mode 100755
new mode 100644

-- 
alt-ergo packaging