[Fedora-legal-list] CMBC license

Shakthi Kannan shakthimaan at gmail.com
Sun Jan 13 15:07:47 UTC 2013


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

Thanks!

SK

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


More information about the legal mailing list