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

[Iain Lane]

The following commit has been merged in the master branch:
commit 53d7b08c7bc8fd84f1170b690774643c2609f371
Author: Iain Lane <laney at ubuntu.com>
Date:   Tue Apr 12 17:02:41 2011 +0100

    Update to use new ghc package names

diff --git a/debian/control b/debian/control
index 4fad676..25dfb7f 100644
--- a/debian/control
+++ b/debian/control
@@ -6,9 +6,9 @@ Uploaders: Iain Lane <laney at ubuntu.com>
 Build-Depends: debhelper (>= 7.0),
                haskell-devscripts (>= 0.6.15+nmu12~),
                cdbs,
-               ghc6 (>= 6.10.4-1~),
-               libghc6-agda-dev (>= 2.2.10),
-               libghc6-agda-dev (<< 2.2.10.1~)
+               ghc,
+               libghc-agda-dev (>= 2.2.10),
+               libghc-agda-dev (<< 2.2.10.1~)
 Standards-Version: 3.9.1
 Homepage: http://wiki.portal.chalmers.se/agda/
 Vcs-Git: git://git.debian.org/git/pkg-haskell/agda-bin.git
@@ -17,7 +17,9 @@ Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda-bin.git;a=summary
 Package: agda-bin
 Architecture: any
 Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
-Recommends: ${haskell:Recommends}, libghc6-agda-dev
+Recommends: ${haskell:Recommends},
+            libghc-agda-dev (>= 2.2.10),
+            libghc6-agda-dev (<< 2.2.10.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