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

[Iain Lane]

The following commit has been merged in the master branch:
commit 75a240f87382be0f170722030e79874c9c01485f
Author: Iain Lane <laney at debian.org>
Date:   Wed Apr 10 10:58:41 2013 +0100

    agda-mode needs to depend on agda-bin

diff --git a/debian/control b/debian/control
index 4ede546..4bdb7c3 100644
--- a/debian/control
+++ b/debian/control
@@ -107,6 +107,8 @@ Depends: ${shlibs:Depends},
          ${haskell:Depends},
          ${misc:Depends},
          emacs | emacsen,
+         agda-bin (>= ${source:Version}),
+         agda-bin (<< ${source:Version}.1~),
          libghc-agda-dev (>= ${source:Version}),
          libghc-agda-dev (<< ${source:Version}.1~)
 Description: dependently typed functional programming language — emacs mode

-- 
Packaging for Agda