Re: Bug#296369: ITP: spin -- Powerfull model checking and softwareverification tool
Lewis Jardine <firstname.lastname@example.org> 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
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
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?