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

[Glenn Maynard <glenn@zewt.org>]

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