[Pkg-haskell-commits] [package-plan] 02/457: Agda is broken

[Joachim Breitner]

This is an automated email from the git hooks/post-receive script.

nomeata pushed a commit to branch master
in repository package-plan.

commit 027d89547ac941be3bc8f6e551c4e6258a020346
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Feb 8 20:55:31 2013 +0000

    Agda is broken
---
 all-packages.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/all-packages.cabal b/all-packages.cabal
index 91a0c8a..22d4196 100644
--- a/all-packages.cabal
+++ b/all-packages.cabal
@@ -9,8 +9,8 @@ cabal-version: >= 1.2
 -- and manual cleanup (e.g. removing ghc-testsuite)
 library
   build-depends:
-    Agda (== 2.3.0.1),
-    Agda-executable (== 2.3.0.1),
+    -- Agda (== 2.3.0.1), broken, needs newer mtl
+    -- Agda-executable (== 2.3.0.1), broken, needs newer mtl,
     alex (== 3.0.2),
     bluetile (== 0.6),
     -- c2hs (== 0.16.4), patched, language-c-dependency

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/package-plan.git