From: Alex ter Weele <alex.ter.weele@gmail.com>
To: bug#30563 <30563@debbugs.gnu.org>
Subject: [bug#30563] Status: [PATCH] add Agda.
Date: Tue, 20 Feb 2018 19:36:41 -0600 [thread overview]
Message-ID: <87zi4386om.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> (raw)
In-Reply-To: bug's message of "Wed\, 21 Feb 2018 01\:34\:59 +0000"
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: 0001-gnu-ghc-edit-distance-Allow-newer-version-of-QuickCh.patch --]
[-- Type: text/x-patch, Size: 964 bytes --]
From b107451e58413a1a86fc4fb7a5a9b650f234f73c Mon Sep 17 00:00:00 2001
From: Alex ter Weele <alex.ter.weele@gmail.com>
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
next prev parent reply other threads:[~2018-02-21 1:37 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-21 1:23 [bug#30563] [PATCH] add Agda Alex ter Weele
2018-02-21 1:36 ` Alex ter Weele [this message]
2018-02-21 1:44 ` [bug#30563] Status: " Alex ter Weele
2018-02-21 1:44 ` Alex ter Weele
2018-02-21 1:44 ` Alex ter Weele
2018-02-26 0:46 ` bug#30563: " Marius Bakke
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87zi4386om.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me \
--to=alex.ter.weele@gmail.com \
--cc=30563@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.