Subscribers to openpkg-dev have probably already noticed the packaging of SPIN that I submitted to the contrib area a couple of days ago.
SPIN is the "classic" explicit-state model checker from Bell Laboratories. The package also bundles the TCL graphical frontend. Michael and Ralf: is there any interest in incorporating this into the OpenPKG archives? -- Matt Hoosier UNIX Administrator / Accounts Manager CIS Department, Kansas State University
signature.asc
Description: This is a digitally signed message part
