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

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.

Please see:


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 required.

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?


Reply to: