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

2005-02-21 Thread Glenn Maynard
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

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

2005-02-21 Thread Eike Dehling
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