The following OpenPKG Contribution Area operation occurred. uploaded RPM file "spin-4.0.4-20040204.src.rpm" accepted -- moved to contrib area. No action is required on your part.
Information about spin-4.0.4-20040204.src.rpm follows: | Name: spin Source RPM: (none) | Version: 4.0.4 Signature: md5:14543b9fd6f73947a02fe39ed59b715a | Release: 20040204 Build Host: castor.cis.ksu.edu | Group: Verification Build System: sparc64-solaris9 | Class: (none) Build Time: Wed Feb 4 19:19:10 2004 | Distrib: OpenPKG Install Time: (not installed) | License: Freeware Install Size: 322152 bytes | Packager: Matt Hoosier Relocations: (not relocateable) | Vendor: Lucent Technologies | Summary: Formal verification tool using Promela | URL: http://spinroot.com/spin/whatispin.html | Description: | Spin is a popular software tool that can be used for the formal verification | of distributed software systems. The tool was developed at Bell Labs | in the original Unix group of Computing Sciences Research Center, starting | in 1980. | Files: | -rw-r--r-- 1 cw cw 10776 Aug 2 2003 spin.1 | -rw-r--r-- 1 cw cw 2590 Feb 4 19:18 spin.spec | -rw-r--r-- 1 cw cw 308786 Aug 2 2003 spin404.tar.gz ______________________________________________________________________ The OpenPKG Project www.openpkg.org Developer Communication List [EMAIL PROTECTED]
