[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.2-2

[Iain Lane]

The following commit has been merged in the master branch:
commit 0faee65adb3462ddb7bc8afadf0f37441e8bdd82
Author: Iain Lane <laney at debian.org>
Date:   Mon May 27 19:00:42 2013 +0100

    Use compat 9

diff --git a/debian/compat b/debian/compat
index 7f8f011..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+9
diff --git a/debian/control b/debian/control
index ffdabe9..6b2bd29 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Priority: extra
 Section: haskell
 Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
 Uploaders: Iain Lane <laney at debian.org>, Kiwamu Okabe <kiwamu at debian.or.jp>
-Build-Depends: debhelper (>= 7.0),
+Build-Depends: debhelper (>= 9),
                haskell-devscripts (>= 0.8.13~),
                cdbs (>> 0.4.58),
                ghc (>= 7.6),

-- 
Packaging for Agda