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@cs.cmu.edu after you install the program for any purpose.

would have to be deleted.

- RF

On 01/13/2013 10:07 AM, Shakthi Kannan wrote:

Hi,

--- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana rfontana@redhat.com wrote: | 5. We must be notified by email at kroening@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