I noticed that ieee754fpu doesn't have any licenses, we need to ensure that all our source ends up with a license or at least a comment directing to the file with the license.
We should try to include SPDX license headers for machine readability.
License status key:
? -- unknown
Y -- properly licensed
N -- not properly licensed
Repository check list (edit to keep updated):
Kazan-team on Debian Salsa:
yehyeh, it's basically (implicitly) the license that jon dawson wrote,
for some stuff, and i just haven't been focussing on it. the bugreport's
a good idea.