[Fedora-legal-list] CMBC license
Tom Callaway
tcallawa at redhat.com
Sun Jan 13 16:33:50 UTC 2013
On 01/13/2013 10:07 AM, Shakthi Kannan wrote:
> Hi,
>
> --- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana
> <rfontana at redhat.com> wrote:
> | 5. We must be notified by email at kroening at cs.cmu.edu 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
More information about the legal
mailing list