Re: Bug#296369: ITP: spin -- Powerfull model checking and software verification tool
On Tue, Feb 22, 2005 at 02:31:03AM +0100, Eike Dehling wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Eike Dehling <e.e.dehling@student.utwente.nl>
>
>
> * Package name : spin
> Version : 4.2.4
> Upstream Author : Bell-Labs <pin_list@spinroot.com>
> * URL : http://www.spinroot.com/
> * License : Free(as in, no license) for non-commercial use, commercial use requires this license:
> http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html
This license is non-free, and probably not sufficient to allow
redistribution in non-free, either.
Please see:
http://lists.debian.org/debian-legal/2004/01/msg00267.html
--
Glenn Maynard
Reply to: