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 Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com _______________________________________________ legal mailing list legal@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/legal
