spin-6.4.3-x86_64-2_slack.txz


Advertisement

Description

spin - Spin model checker

Property Value
Distribution Slackware 14.1
Repository Slackonly x86_64
Package filename spin-6.4.3-x86_64-2_slack.txz
Package name spin
Package version 6.4.3
Package release 2_slack
Package architecture x86_64
Package type txz
Homepage -
License -
Maintainer -
Download size 452.00 KB
Installed size 1.57 MB
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.
http://spinroot.com/

Alternatives

Package Version Architecture Repository
spin-6.4.3-i486-2_slack.txz 6.4.3 i486 Slackonly
spin - - -

Download

Type URL
Mirror packages.slackonly.com
Binary Package spin-6.4.3-x86_64-2_slack.txz
Source Package -

Install Howto

  1. Download spin-6.4.3-x86_64-2_slack.txz
  2. Install spin txz package:
    # upgradepkg --install-new spin-6.4.3-x86_64-2_slack.txz

Files

Path
/install/slack-desc
/usr/
/usr/bin/ispin
/usr/bin/spin
/usr/doc/
/usr/doc/spin-6.4.3/1_Exercises.html
/usr/doc/spin-6.4.3/3_SpinGUI.html
/usr/doc/spin-6.4.3/4_SpinVerification.html
/usr/doc/spin-6.4.3/Book1991_Ch6_add.txt
/usr/doc/spin-6.4.3/Book1991_Errata.txt
/usr/doc/spin-6.4.3/Book1991_answers.txt
/usr/doc/spin-6.4.3/Book2003_Errata.html
/usr/doc/spin-6.4.3/Intro.html
/usr/doc/spin-6.4.3/Manual.html
/usr/doc/spin-6.4.3/Pan.html
/usr/doc/spin-6.4.3/Quick.html
/usr/doc/spin-6.4.3/README.html
/usr/doc/spin-6.4.3/Spin.html
/usr/doc/spin-6.4.3/V1.Updates
/usr/doc/spin-6.4.3/V2.Updates
/usr/doc/spin-6.4.3/V3.Updates
/usr/doc/spin-6.4.3/V4.Updates
/usr/doc/spin-6.4.3/V5.Updates
/usr/doc/spin-6.4.3/V6.Updates
/usr/doc/spin-6.4.3/spin.SlackBuild
/usr/man/
/usr/man/man1/spin.1.gz

See Also

Package Description
spl-1.0pre6-x86_64-2_slack.txz the SPL Programming Language
spl-solaris-0.6.5.4_3.10.17-x86_64-1_slack.txz solaris kernel API for linux
splint-3.1.2-x86_64-2_slack.txz Secure Programming Lint
splix-2.0.0-x86_64-2_slack.txz CUPS printer drivers for SPL
spotify64-0.9.17.8.gd06432d.31-x86_64-3_slack.txz digital music service, 64-bit edition
spotlighter-0.1-x86_64-1_slack.txz show a spot light on the desktop
spqr-2.0.2-x86_64-1_slack.txz sparse matrix factoring routines
spring-100.0-x86_64-7_slack.txz a powerful free RTS engine
spyder-2.3.8-x86_64-2_slack.txz interactive Python IDE
sql-0.4.0-x86_64-1_slack.txz python DB API 2.0 for humans
sqlalchemy-migrate-0.9.1-x86_64-19_slack.txz Database schema migration for SQLAlchemy
sqlcipher-3.3.1-x86_64-1_slack.txz 256 bit AES encryption SQLite extension
sqlite2-2.8.17_7-x86_64-1_slack.txz simple, self contained database engine
sqlite3-1.3.3-x86_64-1_slack.txz Database interface module
sqlitebrowser-3.5.1-x86_64-2_slack.txz light QT-based GUI editor for SQLite databases
Advertisement
Advertisement