[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.0.1-2-3-g1ac0743

[Kiwamu Okabe]

The following commit has been merged in the master branch:
commit 0dba2cd1e3dda057f297c22bb2cc9c90d536ce06
Author: Kiwamu Okabe <kiwamu at debian.or.jp>
Date:   Sat Sep 8 20:48:57 2012 +0900

    add patch extend-haskell-src-exts-dependenc

diff --git a/debian/patches/extend-haskell-src-exts-dependenc b/debian/patches/extend-haskell-src-exts-dependenc
new file mode 100644
index 0000000..e565ec0
--- /dev/null
+++ b/debian/patches/extend-haskell-src-exts-dependenc
@@ -0,0 +1,27 @@
+Extend haskell-src-exts dependency
+Index: agda/Agda.cabal
+===================================================================
+--- agda.orig/Agda.cabal	2012-09-08 20:13:41.228773632 +0900
++++ agda/Agda.cabal	2012-09-08 20:13:41.244773714 +0900
+@@ -77,7 +77,7 @@
+     build-depends:  epic >= 0.1.13 && < 0.10
+   build-depends:    mtl >= 2.0 && < 2.2,
+                     QuickCheck >= 2.3 && < 2.5,
+-                    haskell-src-exts >= 1.9.6 && < 1.12,
++                    haskell-src-exts >= 1.9.6 && < 1.14,
+                     containers >= 0.1 && < 0.5,
+                     pretty >= 1.0 && < 1.2,
+                     directory >= 1.0 && < 1.2,
+Index: agda/src/full/Agda/Compiler/MAlonzo/Compiler.hs
+===================================================================
+--- agda.orig/src/full/Agda/Compiler/MAlonzo/Compiler.hs	2012-09-08 20:13:35.144743489 +0900
++++ agda/src/full/Agda/Compiler/MAlonzo/Compiler.hs	2012-09-08 20:14:12.196927223 +0900
+@@ -466,7 +466,7 @@
+   ]
+   where
+     parse = HS.parseWithMode
+-              HS.defaultParseMode{HS.extensions = [HS.ExplicitForall]}
++              HS.defaultParseMode{HS.extensions = [HS.ExplicitForAll]}
+ 
+     ok (HS.ParseOk d)   = d
+     ok HS.ParseFailed{} = __IMPOSSIBLE__
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..58e8622
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1,2 @@
+extend-mtl-dependenc
+extend-haskell-src-exts-dependenc

-- 
Packaging for Agda