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 [email protected] https://admin.fedoraproject.org/mailman/listinfo/legal
