Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/development/spin/

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 23:28  375   
 Spin-version-6.5.2.tar.gz                                     08-Jun-2022 23:28  5.8M  
 slack-desc                                                    08-Jun-2022 23:28  855   
 spin.SlackBuild                                               11-Mar-2022 06:34  3.4K  
 spin.info                                                     08-Jun-2022 23:28  309   

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