On Sat, Jan 12, 2013 at 07:07:24AM +0530, Shakthi Kannan wrote: > Hi, > > Is the CMBC license an acceptable license for Fedora? > > http://www.cprover.org/cbmc/LICENSE No. > If not, what needs to be done to make it acceptable for Fedora? This: 5. We must be notified by email at kroening@xxxxxxxxxx after you install the program for any purpose. would have to be deleted. - RF _______________________________________________ legal mailing list legal@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/legal
