[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.2-1

[Iain Lane]

The following commit has been merged in the master branch:
commit 7746bcc4870357fbea1f75b30d95ccd22de7dcec
Author: Iain Lane <laney at debian.org>
Date:   Sun Dec 16 20:05:22 2012 +0000

    Remove all patches — all upstream.

diff --git a/debian/patches/extend-haskell-src-exts-dependenc b/debian/patches/extend-haskell-src-exts-dependenc
deleted file mode 100644
index e565ec0..0000000
--- a/debian/patches/extend-haskell-src-exts-dependenc
+++ /dev/null
@@ -1,27 +0,0 @@
-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/extend-mtl-dependenc b/debian/patches/extend-mtl-dependenc
deleted file mode 100644
index 3c640c9..0000000
--- a/debian/patches/extend-mtl-dependenc
+++ /dev/null
@@ -1,15 +0,0 @@
-Description: Extend mtl dependency
-Author: Joachim Breitner <nomeata at debian.org>
-
-
---- agda-2.3.0.1.orig/Agda.cabal
-+++ agda-2.3.0.1/Agda.cabal
-@@ -75,7 +75,7 @@ library
-                     utf8-string == 0.3.*
-   if flag(epic)
-     build-depends:  epic >= 0.1.13 && < 0.10
--  build-depends:    mtl == 2.0.*,
-+  build-depends:    mtl >= 2.0 && < 2.2,
-                     QuickCheck >= 2.3 && < 2.5,
-                     haskell-src-exts >= 1.9.6 && < 1.12,
-                     containers >= 0.1 && < 0.5,
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 58e8622..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1,2 +0,0 @@
-extend-mtl-dependenc
-extend-haskell-src-exts-dependenc

-- 
Packaging for Agda