Re:CompCert – Formally-verified C compiler
by Denvercoder9 on Sunday June 27, 2021 @06:23AM
(#27650288)
The copyright holder doesn't have to adhere to the GPL themselves. Even if the complete repository bar one file is GPL, as long as you keep that file, you can't use the project under the GPL. You can replace that file and then use it under the GPL though.
[ Parent
| on HN ]
There are no comments on this comment yet.