|
|
|
|
|
|
by dmm
4702 days ago
|
|
|
""The CompCert verified compiler is distributed under the terms of the
INRIA Non-Commercial License Agreement given below."" It's some non-commercial non-free license. Only certain files are GPL? I don't think this would be redistributable... |
|
|