Subject: [bug#30563] Status: [PATCH] add Agda.

From: Alex ter Weele <[email-masked]>
Date: Tue, 20 Feb 2018 19:44:00 -0600

>From 4e20edfb690f8d2f7d0652058d8fcff5927102a2 Mon Sep 17 00:00:00 2001
From: Alex ter Weele <[email-masked]>
Date: Tue, 20 Feb 2018 18:51:16 -0600
Subject: [PATCH 2/4] gnu: ghc-hashtables: Allow newer version of vector.

* gnu/packages/haskell.scm (ghc-hashtables)[arguments]: Allow newer version of
  vector.
---
 gnu/packages/haskell.scm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 737b7a4cd..dbb9ebc80 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -7360,6 +7360,8 @@ Haskell, using gnuplot for rendering.")
        (sha256
         (base32 "1b6w9xznk42732vpd8ili60k12yq190xnajgga0iwbdpyg424lgg"))))
     (build-system haskell-build-system)
+    (arguments
+     `(#:configure-flags (list "--allow-newer=vector")))
     (inputs
      `(("ghc-hashable" ,ghc-hashable)
        ("ghc-primitive" ,ghc-primitive)
-- 
2.16.1