Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool
Glenn Maynard wrote:
On Tue, Feb 22, 2005 at 02:31:03AM +0100, Eike Dehling wrote:
* Package name : spin
* URL : http://www.spinroot.com/
* License : Free(as in, no license) for non-commercial use, commercial use requires this license:
This license is non-free, and probably not sufficient to allow
redistribution in non-free, either.
As stated on their website:
" Spin is distributed in source form to encourage research in formal
verification, and to help a support friendly and open exchange of
algorithms, ideas, and tools. The software itself has a copyright from
Lucent Technologies and Bell Laboratories, and is distributed for
research and educational purposes only (i.e., no guarantee of any kind
is implied by the distribution of the code, and all rights are reserved
by the copyright holder). For this general use of Spin, no license is
Commercial application of the Spin software is also allowed, but
requires the acceptance of a basic license. Refer to the Spin Public
license for details. "
So unless someone uses it commercially no license applies. Debian itself
isn't commercial, so it doesn't apply here. The first sentence even
encourages redistribution/modification, i'd think? How much of a problem
is the restriction on commercial use, when non-commercial use is free?