Matthew Palmer wrote:
Is what was quoted above the sum total of the "permission text" that comes
with spin? I don't see anything in what you quoted above which gives the
right to modify and/or redistribute spin. It says "Spin is distributed in
source form to encourage research in formal verificat
On Tue, Feb 22, 2005 at 01:54:18PM +0100, Eike Dehling wrote:
> " 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
Eike Dehling <[EMAIL PROTECTED]> wrote:
> " 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
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:
On Tue, Feb 22, 2005 at 02:31:03AM +0100, Eike Dehling wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Eike Dehling <[EMAIL PROTECTED]>
>
>
> * Package name: spin
> Version : 4.2.4
> Upstream Author : Bell-Labs <[EMAIL PROTECTED]>
> * URL : http://www.spinroot.com
Package: wnpp
Severity: wishlist
Owner: Eike Dehling <[EMAIL PROTECTED]>
* Package name: spin
Version : 4.2.4
Upstream Author : Bell-Labs <[EMAIL PROTECTED]>
* URL : http://www.spinroot.com/
* License : Free(as in, no license) for non-commercial use, commercial
6 matches
Mail list logo
