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

[Iain Lane]

The following commit has been merged in the master branch:
commit 5e289d40cdf2ac31ebd0411dd6d9d880646989bd
Author: Iain Lane <laney at debian.org>
Date:   Wed May 25 12:52:13 2011 +0100

    Fix forgotten libghc6 recommend

diff --git a/debian/control b/debian/control
index f120e6a..a1f7f74 100644
--- a/debian/control
+++ b/debian/control
@@ -19,7 +19,7 @@ Architecture: any
 Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
 Recommends: ${haskell:Recommends},
             libghc-agda-dev (>= 2.2.10),
-            libghc6-agda-dev (<< 2.2.10.1~)
+            libghc-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