Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - spin

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: spin 6.4.5-1

Git Clone URL: https://aur-dev.archlinux.org/spin.git (read-only)
Package Base: spin
Description: Tool for the formal verification of distributed software systems
Upstream URL: http://spinroot.com/
Licenses: custom:SPIN
Submitter: catwell
Maintainer: frederik
Last Packager: frederik
Votes: 26
Popularity: 0.628308
First Submitted: 2008-10-17 09:46
Last Updated: 2016-02-10 17:37

Dependencies (5)

  • glibc
  • 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 (2)

Latest Comments

1 2 3 Next › Last »

frederik commented on 2016-02-10 17:38

I've added the examples. Ispin is a different package and I see no reason to include it in this package.

Thx @Earnest for contribution

Earnest commented on 2016-02-10 17:06

Improved PKGBUILD: https://ptpb.pw/22fs/sh

max-k commented on 2015-02-06 15:42

I simply removed DLAGENTS line and it works with pacman 4.2.0-6.

Artemis commented on 2015-01-18 00:48

I have made some small changes to the PKGBUILD which is available at http://pastebin.com/aeTu06Q1
* 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: http://spinroot.com/fluxbb/viewtopic.php?id=1573

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: https://wiki.archlinux.org/index.php/PKGBUILD#makedepends).

frederik commented on 2014-10-15 23:03

bison is a makedepend

frederik commented on 2014-10-15 21:15

byacc is a makedepend

gok commented on 2014-05-20 09:38

Updated to 6.3.2.