[agda] 01/04: Revert modification of upstream source in a4109c2c88ab582bbc3141cd9a87373c3509c97b

[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 d59dba46a925716af1025742e67b348b80a01418
Author: Iain Lane <laney at debian.org>
Date:   Tue Jul 28 15:32:32 2015 +0100

    Revert modification of upstream source in a4109c2c88ab582bbc3141cd9a87373c3509c97b
    
    We're patches unapplied.
---
 Agda.cabal | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Agda.cabal b/Agda.cabal
index 47c0db6..56c6023 100644
--- a/Agda.cabal
+++ b/Agda.cabal
@@ -98,8 +98,7 @@ library
     -- fixed in hashable 1.2.1.0.
     -- https://github.com/tibbe/hashable/issues/57.
     , hashable >= 1.1.2.3 && < 1.2 || >= 1.2.1.0 && < 1.3
-    -- http://hackage.haskell.org/package/Agda-2.4.2.2/revisions/
-    , hashtables >=1.0 && <1.2 || >=1.2.0.2 && <1.3
+    , hashtables >= 1.0 && < 1.2
     , haskeline >= 0.7 && < 0.8
     , haskell-src-exts >= 1.9.6 && < 1.17
     -- mtl-2.1 contains a severe bug.

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