Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/x86_64/extra-15.0/source/development/spin/

Current bandwidth utilization 2245.97 Mbit/s

Spin is a popular open-source software tool, used by thousands of
people worldwide, that can be used for the formal verification of
distributed software systems. In April 2002 the tool was awarded the
prestigious System Software Award for 2001 by the ACM.

By default the ispin GUI will not be installed. This may be overridden
by building with:

`GUI=yes ./spin.SlackBuild`

 Name                                                            Last modified      Size  
 Parent Directory                                                                     -   
 README                                                          08-Jun-2022 06:27  375   
 Spin-version-6.5.2.tar.gz                                       08-Jun-2022 23:28  5.8M  
 slack-desc                                                      08-Jun-2022 06:27  855   
 spin.SlackBuild                                                 11-Mar-2022 06:34  3.4K  
 spin.info                                                       08-Jun-2022 06:27  309   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!