On 01/13/2013 10:07 AM, Shakthi Kannan wrote:
> Hi,
> 
> --- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana
> <[email protected]> wrote:
> |  5. We must be notified by email at [email protected] 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
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/legal

Reply via email to