all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
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:44:00 -0600	[thread overview]
Message-ID: <87d10z86cf.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: 0002-gnu-ghc-hashtables-Allow-newer-version-of-vector.patch --]
[-- Type: text/x-patch, Size: 925 bytes --]

From 4e20edfb690f8d2f7d0652058d8fcff5927102a2 Mon Sep 17 00:00:00 2001
From: Alex ter Weele <alex.ter.weele@gmail.com>
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

  parent reply	other threads:[~2018-02-21  1:45 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 ` [bug#30563] Status: " Alex ter Weele
2018-02-21  1:44 ` Alex ter Weele [this message]
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=87d10z86cf.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.