I quote from their Github readme:

License

CompCert is not free software. This non-commercial release can only be used for evaluation, research, educational and personal purposes. A commercial version of CompCert, without this restriction and with professional support, can be purchased from AbsInt. See the file LICENSE for more information.

I'm not entirely sure if something like that is good for an unpaid-for open source project...