[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#30563] Status: [PATCH] add Agda.
|
From: |
Alex ter Weele |
|
Subject: |
[bug#30563] Status: [PATCH] add Agda. |
|
Date: |
Tue, 20 Feb 2018 19:36:41 -0600 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
>From b107451e58413a1a86fc4fb7a5a9b650f234f73c Mon Sep 17 00:00:00 2001
From: Alex ter Weele <address@hidden>
Date: Tue, 20 Feb 2018 18:49:41 -0600
Subject: [PATCH 1/4] gnu: ghc-edit-distance: Allow newer version of
QuickCheck.
* gnu/packages/haskell.scm (ghc-edit-distance)[arguments]: Allow running tests
with newer version of QuickCheck.
---
gnu/packages/haskell.scm | 2 ++
1 file changed, 2 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index e62c405ab..737b7a4cd 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5755,6 +5755,8 @@ representations of current time.")
(sha256
(base32 "0jkca97zyv23yyilp3jydcrzxqhyk27swhzh82llvban5zp8b21y"))))
(build-system haskell-build-system)
+ (arguments
+ `(#:configure-flags (list "--allow-newer=QuickCheck")))
(inputs
`(("ghc-random" ,ghc-random)
("ghc-test-framework" ,ghc-test-framework)
--
2.16.1