CMBC license

[Shakthi Kannan]

Hi,

Is the CMBC license an acceptable license for Fedora?

  http://www.cprover.org/cbmc/LICENSE

If not, what needs to be done to make it acceptable for Fedora?

Appreciate any inputs in this regard.

Thanks!

SK

-- 
Shakthi Kannan
http://www.shakthimaan.com

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

would have to be deleted.


- RF

[Shakthi Kannan]

Hi,

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

Thanks!

SK

-- 
Shakthi Kannan
http://www.shakthimaan.com

[Tom Callaway]

On 01/13/2013 10:07 AM, Shakthi Kannan wrote:
>  Hi,
>  
>  --- On Sat, Jan 12, 2013 at 9:53 AM, Richard Fontana
>  <rfontana(a)redhat.com&gt; wrote:
>  |  5. We must be notified by email at kroening(a)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