[Fedora-legal-list] CMBC license

[Richard Fontana]

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

would have to be deleted.


- RF