[Pkg-haskell-commits] [SCM] Packaging for agda commandline executable branch, master, updated. debian/2.2.8-1-5-ga27c918

[Iain Lane]

The following commit has been merged in the master branch:
commit 6beab2ed4a8ddb1b726192e22f9a366a27dd94f6
Author: Iain Lane <laney at ubuntu.com>
Date:   Fri Feb 25 10:46:59 2011 +0000

    Bump Agda BDs per Agda.cabal

diff --git a/debian/control b/debian/control
index 393ba6a..e807497 100644
--- a/debian/control
+++ b/debian/control
@@ -7,8 +7,8 @@ Build-Depends: debhelper (>= 7.0),
                haskell-devscripts (>= 0.6.15+nmu12~),
                cdbs,
                ghc6 (>= 6.10.4-1~),
-               libghc6-agda-dev (>= 2.2.8),
-               libghc6-agda-dev (<< 2.2.8.1~)
+               libghc6-agda-dev (>= 2.2.10),
+               libghc6-agda-dev (<< 2.2.10.1~)
 Standards-Version: 3.8.3
 Homepage: http://wiki.portal.chalmers.se/agda/
 Vcs-Git: git://git.debian.org/git/pkg-haskell/agda-bin.git

-- 
Packaging for agda commandline executable