[Pkg-haskell-commits] darcs: tools: Add (commented out) geniplate and update agda. Uncomment when geniplate is de-NEWed

[Iain Lane]

Wed Apr 10 14:58:03 UTC 2013  Iain Lane <laney at debian.org>
  * Add (commented out) geniplate and update agda. Uncomment when geniplate is de-NEWed
  Ignore-this: 81368854295ab8fe979b10c8fdec0e36

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

Wed Apr 10 14:58:03 UTC 2013  Iain Lane <laney at debian.org>
  * Add (commented out) geniplate and update agda. Uncomment when geniplate is de-NEWed
  Ignore-this: 81368854295ab8fe979b10c8fdec0e36
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-04-10 14:58:28.523125840 +0000
+++ new-tools//all-packages/all-packages.cabal	2013-04-10 14:58:28.539068733 +0000
@@ -9,8 +9,7 @@
 -- and manual cleanup (e.g. removing ghc-testsuite)
 library
   build-depends:
-    -- Agda (== 2.3.0.1), broken, needs newer mtl
-    -- Agda-executable (== 2.3.0.1), broken, needs newer mtl,
+    -- Agda (== 2.3.2), waiting on geniplate
     alex (== 3.0.2),
     bluetile (== 0.6),
     -- c2hs (== 0.16.4), patched, language-c-dependency
@@ -21,6 +20,7 @@
     -- darcs-monitor (== 0.4.2), broken, HaXml dependency too old
     -- frown (== 0.6.1), not on hackage
     ftphs (== 1.0.8),
+    -- geniplate (== 0.6.0.3), in NEW
     gitit (== 0.10.3.1),
     gtk2hs-buildtools (== 0.12.3),
     happy (== 1.18.10),