[Pkg-haskell-commits] [agda] 06/07: debian/patches/support-alex-3.1: Remove patch applied upstream in this release

[Iain Lane]

This is an automated email from the git hooks/post-receive script.

laney pushed a commit to branch master
in repository agda.

commit 9bc56ee778b2ea6580f407e470b147272ec71f8f
Author: Iain Lane <laney at debian.org>
Date:   Wed Nov 6 09:32:44 2013 +0000

    debian/patches/support-alex-3.1: Remove patch applied upstream in this release
---
 debian/patches/series           |    1 -
 debian/patches/support-alex-3.1 |   15 ---------------
 2 files changed, 16 deletions(-)

diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index ea94267..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-support-alex-3.1
diff --git a/debian/patches/support-alex-3.1 b/debian/patches/support-alex-3.1
deleted file mode 100644
index 4ec74b8..0000000
--- a/debian/patches/support-alex-3.1
+++ /dev/null
@@ -1,15 +0,0 @@
-Wed Sep 18 23:17:08 BST 2013  Andr�s Sicard-Ram�rez <andres.sicard.ramirez at gmail.com>
-  * Support for Alex 3.1.*.
-Index: b/Agda.cabal
-===================================================================
---- a/Agda.cabal
-+++ b/Agda.cabal
-@@ -98,7 +98,7 @@
-                       directory == 1.2.*
- 
-   build-tools:      happy >= 1.15 && < 2,
--                    alex >= 2.3.1 && < 3.1
-+                    alex >= 2.3.1 && < 3.2
-   extensions:       CPP
-   exposed-modules:  Agda.Main
-                     Agda.ImpossibleTest

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git