[Pkg-haskell-commits] darcs: tools: Agda is broken

[Joachim Breitner]

Fri Feb  8 20:55:31 UTC 2013  Joachim Breitner <mail at joachim-breitner.de>
  * Agda is broken
  Ignore-this: 3fd44a876a9b852352e78a1e2d0dfa27

    M ./all-packages/all-packages.cabal -2 +2

Fri Feb  8 20:55:31 UTC 2013  Joachim Breitner <mail at joachim-breitner.de>
  * Agda is broken
  Ignore-this: 3fd44a876a9b852352e78a1e2d0dfa27
diff -rN -u old-tools//all-packages/all-packages.cabal new-tools//all-packages/all-packages.cabal
--- old-tools//all-packages/all-packages.cabal	2013-02-08 20:55:37.338723548 +0000
+++ new-tools//all-packages/all-packages.cabal	2013-02-08 20:55:37.346723150 +0000
@@ -9,8 +9,8 @@
 -- 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