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