Package Details: spin 6.5.0-1

Git Clone URL: (read-only)
Package Base: spin
Description: Tool for the formal verification of distributed software systems
Upstream URL:
Licenses: custom:BSD3
Submitter: catwell
Maintainer: freswa
Last Packager: freswa
Votes: 33
Popularity: 0.104110
First Submitted: 2008-10-17 09:46
Last Updated: 2019-07-15 11:20

Dependencies (5)

  • glibc (glibc-git)
  • ispin (optional) – GUI for Spin
  • modex (optional) – extract verification models from implementation C code
  • swarm (optional) – improved performance on large verification problems
  • tcl (tcl85, tcl-nothreading) (optional) – ispin graphical interface

Required by (2)

Sources (1)

Latest Comments

« First ‹ Previous 1 2 3 4 Next › Last »

Artemis commented on 2015-01-18 00:48

I have made some small changes to the PKGBUILD which is available at
* Change download agent to wget which works fine for me (changing curl options does not)
* Download the full distribution and add the spin manpage to the package

Please feel free to use this PKGBUILD to update the package.

thrimbor commented on 2015-01-13 14:41

The PKGBUILD still produces a 403 error when downloading the source. Changing DLAGENTS to the string calrama provided fixes the error.

gok commented on 2015-01-05 17:06

Version 6.4.3's changelog:

gok commented on 2014-10-16 09:30

@frederik: indeed, yacc (provided by bison) is required to compile spin. However, bison is part of the base-devel group (assumed to be installed before using makepkg). Therefore, it is not included in makedepends (and should not:

freswa commented on 2014-10-15 23:03

bison is a makedepend

freswa commented on 2014-10-15 21:15

byacc is a makedepend

gok commented on 2014-05-20 09:38

Updated to 6.3.2.

gok commented on 2014-05-12 07:43

Updated to 6.3.1.

gok commented on 2014-05-10 18:42

Updated to 6.3.0.

gok commented on 2014-03-03 09:31

Updated to v6.2.7 and added the statement overriding the DLAGENT.
Thanks calrama for pointing this out, I was not aware of it being already reported.