[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 4/9] gnu: Add ghc-ieee754.
|
From: |
Leo Famulari |
|
Subject: |
Re: [PATCH 4/9] gnu: Add ghc-ieee754. |
|
Date: |
Sat, 3 Dec 2016 15:01:41 -0500 |
|
User-agent: |
Mutt/1.7.1 (2016-10-04) |
On Sat, Dec 03, 2016 at 11:42:08AM +0100, David Craven wrote:
> * gnu/packages/haskell.scm (ghc-ieee754): New variable.
> +(define-public ghc-ieee754
> + (package
> + (name "ghc-ieee754")
> + (version "0.7.8")
Same issue about the GitHub page appearing out of date, since it doesn't
seem to have a 0.7.8 release tag.
> + (license license:bsd-3)))
I also noticed a 'LICENSE.Tango' file. Can you check if we need to
mention that license as well?
- [PATCH 1/9] gnu: Add ghc-hinotify., David Craven, 2016/12/03
- [PATCH 3/9] gnu: Add ghc-tasty-rerun., David Craven, 2016/12/03
- [PATCH 5/9] gnu: Add ghc-terminal-size., David Craven, 2016/12/03
- [PATCH 4/9] gnu: Add ghc-ieee754., David Craven, 2016/12/03
- Re: [PATCH 4/9] gnu: Add ghc-ieee754.,
Leo Famulari <=
- [PATCH 2/9] gnu: Add ghc-fsnotify., David Craven, 2016/12/03
- [PATCH 6/9] gnu: ghc-trifecta: Update to 1.6., David Craven, 2016/12/03
- [PATCH 7/9] gnu: idris: Update to 0.12.3., David Craven, 2016/12/03
- [PATCH 8/9] gnu: coq: Update to 8.5pl2., David Craven, 2016/12/03