Description: <short summary of the patch>
 TODO: Put a short summary on the line above and replace this paragraph
 with a longer explanation of this change. Complete the meta-information
 with other relevant fields (see below for details). To make it easier, the
 information below has been extracted from the changelog. Adjust it or drop
 it.
 .
 agda (2.4.2.2-3) unstable; urgency=medium
 .
   * Fix dependency on hashtables
Author: Joachim Breitner <nomeata@debian.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

--- agda-2.4.2.2.orig/Agda.cabal
+++ agda-2.4.2.2/Agda.cabal
@@ -98,7 +98,8 @@ 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
-    , hashtables >= 1.0 && < 1.2
+    -- http://hackage.haskell.org/package/Agda-2.4.2.2/revisions/
+    , hashtables >=1.0 && <1.2 || >=1.2.0.2 && <1.3
     , haskeline >= 0.7 && < 0.8
     , haskell-src-exts >= 1.9.6 && < 1.17
     -- mtl-2.1 contains a severe bug.
