[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#296369: ITP: spin -- Powerfull model checking and softwareverification tool

Lewis Jardine <debian@catbox.co.uk> wrote:
Of course, none of these guarantees hold for non-free; the only thing that you can rely on for a package in non-free is that Debian has permission to
distribute it.

Well, the "commercial license" does explicitly grant permission to redistribute the software:

You may distribute Licensed Software in Object Code form using this Agreement, or under a license of Your
choice provided that You are in compliance with this Agreement and Your license: [omitted terms under which you may distribute with a different license]

See http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html for the whole license, it is quite lengthy therefor i won't quote it here comletely. The precious discussion about the license starts at http://lists.debian.org/debian-legal/2004/01/msg00267.html, they conclude that the license is basically not free.

I'm interpreting this as that it is possible to include spin in the non-free section, concerning the license issue. Any comments?


Reply to: