[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.0.1-2-3-g1ac0743
Kiwamu Okabe
kiwamu at debian.or.jp
Sat Sep 8 11:51:54 UTC 2012
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
More information about the Pkg-haskell-commits
mailing list