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

[Iain Lane]

The following commit has been merged in the master branch:
commit 4a61a40aa89a8e3ab7b5db52b5cbb7f386b602aa
Author: Iain Lane <laney at debian.org>
Date:   Wed Nov 23 14:07:15 2011 +0000

    Update BDs and deps for new release

diff --git a/debian/control b/debian/control
index a1f7f74..c58eefb 100644
--- a/debian/control
+++ b/debian/control
@@ -7,8 +7,8 @@ Build-Depends: debhelper (>= 7.0),
                haskell-devscripts (>= 0.6.15+nmu12~),
                cdbs,
                ghc,
-               libghc-agda-dev (>= 2.2.10),
-               libghc-agda-dev (<< 2.2.10.1~)
+               libghc-agda-dev (>= 2.3.0),
+               libghc-agda-dev (<< 2.3.0.1~)
 Standards-Version: 3.9.2
 Homepage: http://wiki.portal.chalmers.se/agda/
 Vcs-Git: git://git.debian.org/git/pkg-haskell/agda-bin.git
@@ -18,8 +18,8 @@ Package: agda-bin
 Architecture: any
 Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
 Recommends: ${haskell:Recommends},
-            libghc-agda-dev (>= 2.2.10),
-            libghc-agda-dev (<< 2.2.10.1~)
+            libghc-agda-dev (>= 2.3.0),
+            libghc-agda-dev (<< 2.3.0.1~)
 Suggests: ${haskell:Suggests}, agda-mode
 Description: commandline interface to Agda
  Agda is a dependently typed functional programming language: It has inductive

-- 
Packaging for agda commandline executable