guix-devel
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]