From: Federico Beffa <beffa@ieee.org>
To: Guix-devel <guix-devel@gnu.org>
Subject: [PATCH 12/24] gnu: Add ghc-quickcheck.
Date: Tue, 7 Apr 2015 14:24:54 +0200 [thread overview]
Message-ID: <CAKrPhPN62+Dy_iD1SvNecrm9qo+qv28J9XHtUWUU0DMzOe39rQ@mail.gmail.com> (raw)
Federico Beffa <beffa@ieee.org> writes:
> * gnu/packages/haskell.scm (ghc-quickcheck): New variable.
> ---
> gnu/packages/haskell.scm | 33 ++++++++++++++++++++++++++++++++-
> 1 file changed, 32 insertions(+), 1 deletion(-)
>
> diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
> index 34f098f..36b01fc 100644
> --- a/gnu/packages/haskell.scm
> +++ b/gnu/packages/haskell.scm
> @@ -494,7 +494,8 @@ library, including the ability to split random number generators.")
> (sha256
> (base32 "0445r2nns6009fmq0xbfpyv7jpzwv0snccjdg7hwj4xk4z0cwc1f"))))
> (build-system haskell-build-system)
> - (inputs
> + ;; these inputs are necessary to use this package
> + (propagated-inputs
> `(("ghc-primitive" ,ghc-primitive)
> ("ghc-random" ,ghc-random)))
> (home-page "http://hackage.haskell.org/package/tf-random")
> @@ -506,4 +507,34 @@ the paper /Splittable Pseudorandom Number Generators Using Cryptographic
> Hashing/ by Claessen, Pałka for details and the rationale of the design.")
> (license bsd-3)))
I've noticed that I made a mistake. The above lines have been merged in
the 'ghc-tf-random' patch and do not appear togheter with
'ghc-quickcheck' anymore.
Regards,
Fede
next reply other threads:[~2015-04-07 12:24 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-07 12:24 Federico Beffa [this message]
-- strict thread matches above, loose matches on Subject: below --
2015-04-06 16:48 [PATCH 12/24] gnu: Add ghc-quickcheck Federico Beffa
2015-04-08 8:08 ` Ludovic Courtès
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=CAKrPhPN62+Dy_iD1SvNecrm9qo+qv28J9XHtUWUU0DMzOe39rQ@mail.gmail.com \
--to=beffa@ieee.org \
--cc=guix-devel@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.