[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 4/9] gnu: Add ghc-ieee754.
From: |
David Craven |
Subject: |
Re: [PATCH 4/9] gnu: Add ghc-ieee754. |
Date: |
Sat, 10 Dec 2016 11:15:13 +0100 |
Hi Leo!
> Same issue about the GitHub page appearing out of date, since it doesn't
> seem to have a 0.7.8 release tag.
So I checked the github pages and the version string was updated, so
the url's are still up to date. I opened an issue regarding release
tagging https://github.com/patperry/hs-ieee754/issues/18
> I also noticed a 'LICENSE.Tango' file. Can you check if we need to
> mention that license as well?
The files in the cbits subfolder are dual licensed, but bsd-3 is the
superset that applies to all files in the package. I'm not sure it's
worth bothering. WDYT?
Thank you for your feedback.
David
- [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
- [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