On 01/13/2013 10:07 AM, Shakthi Kannan wrote: > Hi, > > --- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana > <rfontana@xxxxxxxxxx> wrote: > | 5. We must be notified by email at kroening@xxxxxxxxxx after you install > | the program for any purpose. > | > | would have to be deleted. > \-- > > Upstream has agreed to remove the clause, and their svn code has been > updated accordingly. > > http://www.cprover.org/cbmc/LICENSE It is now BSD with Advertising. Free but GPL-Incompatible. ~tom == Fedora Project _______________________________________________ legal mailing list legal@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/legal
