Hi, Is the CMBC license an acceptable license for Fedora? http://www.cprover.org/cbmc/LICENSE If not, what needs to be done to make it acceptable for Fedora? Appreciate any inputs in this regard. Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com _______________________________________________ legal mailing list legal@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/legal
