[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 868ebf46fcc2a096c70e0109dcedf55b6841eb20
Author: Iain Lane <laney at debian.org>
Date:   Tue Dec 25 13:48:23 2012 +0000

    agda-mode no longer depends on haskell-mode or GHCi
    
    Remove dependency and update .el file accordingly

diff --git a/debian/50agda.el b/debian/50agda.el
index 171111c..765f04e 100644
--- a/debian/50agda.el
+++ b/debian/50agda.el
@@ -3,8 +3,5 @@
 
 (when (and (file-exists-p "/usr/share/emacs/site-lisp/agda/agda2.el") (not (string-match "XEmacs" emacs-version)))
     (debian-pkg-add-load-path-item "/usr/share/emacs/site-lisp/agda/")
-    (debian-pkg-add-load-path-item "/usr/share/emacs/site-lisp/haskell-mode/")
-    ;; haskell-ghci needs to be explicitly loaded for some reason
-    (load "haskell-ghci")
     (load "agda2")
 )
diff --git a/debian/control b/debian/control
index ac375d2..145b02d 100644
--- a/debian/control
+++ b/debian/control
@@ -107,7 +107,6 @@ Depends: ${shlibs:Depends},
          ${haskell:Depends},
          ${misc:Depends},
          emacs | emacsen,
-         haskell-mode,
          libghc-agda-dev (>= ${source:Version}),
          libghc-agda-dev (<< ${source:Version}.1~)
 Description: dependently typed functional programming language — emacs mode

-- 
Packaging for Agda