Package Details: spin 6.4.5-1

Git Clone URL: (read-only)
Package Base: spin
Description: Tool for the formal verification of distributed software systems
Upstream URL:
Licenses: custom:SPIN
Submitter: catwell
Maintainer: frederik
Last Packager: frederik
Votes: 24
Popularity: 0.089330
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 (tcl-nothreading, tcl85, tcl86) (optional) – ispin graphical interface

Required by (2)

Sources (2)

Latest Comments

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:

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
* 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:

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.

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.

calrama commented on 2014-02-27 22:27

Ghostofkendo: Why not do the recommended thing (see here: and simply overwrite the DLAGENTS?
Just add a line like this below the source= line in this package's PKGBUILD and makepkg downloads the sources as expected:
DLAGENTS="http::/usr/bin/curl -A "Mozilla/4.0" -fLC - --retry 3 --retry-delay 3 -o %o %u"

calrama commented on 2014-02-27 22:26

Ghostofkendo: Why not do the recommended thing (see here: and simply overwrite the DLAGENTS?
Just add a line like this below the source= line and makepkg downloads the sources as expected:
DLAGENTS="http::/usr/bin/curl -A "Mozilla/4.0" -fLC - --retry 3 --retry-delay 3 -o %o %u"

gok commented on 2014-02-18 13:23

Updated to v6.2.6.

gok commented on 2013-10-08 20:12

This 406 error is because the web server blocks curl based on the headers, and curl is the default download agent used by makepkg.
A workaround is to change your download agent (e.g. wget) or modify curl's user agent in /etc/makepkg.conf. See
I could also change the PKGBUILD to bypass makepkg's builtin download agent and explicitly download the sources but that would be quite ugly.

bezirg commented on 2013-10-08 11:46

The sources url returns 406 Not Acceptable

bezirg commented on 2013-10-08 11:44

The sources url is wrong. It should be
Plz update it

Basxto commented on 2012-10-24 17:50

In my case ‘ln -s /usr/bin/cpp /usr/lib/cpp’ solved it.

andrej84 commented on 2012-08-17 12:11

Trying to use spin will fail with the following here:

$ spin peterson2.pml
sh: /lib/cpp: No such file or directory
spin: preprocessing failed

I suspect is something related to the symlink between lib and /usr/lib done some time ago,
is that possible?

gok commented on 2012-08-09 22:25

Updated to version 6.2.2.

marcus-aurelius commented on 2012-04-23 07:20

Setting user-agent to Mozilla works for me.

beroal commented on 2012-02-11 17:35

@mmd: Maybe that server rejects a specific user agent. Add '--user-agent "Mozilla/4.0"' to curl options in "/etc/makepkg.conf".

Anonymous comment on 2012-01-27 11:25

With wget everything works fine. Thanks!

gok commented on 2012-01-26 21:00

I am sorry, I could not reproduce this error, everything works fine for me.

Given the HTTP error code returned (406 Not Acceptable: The requested resource is only capable of generating content not acceptable according to the Accept headers sent in the request.), I suppose curl sends an HTTP request that has too restrictive headers so the only suggestion I have for you is to try to change your download agent from curl to wget in your /etc/makepkg.conf.

Anonymous comment on 2012-01-26 19:03

I cant install this, because every time I just get the following error:
==> Retrieving Sources...
-> Downloading src610.tar.gz...
curl: (22) The requested URL returned error: 406
==> ERROR: Failure while downloading src610.tar.gz
==> ERROR: Makepkg was unable to build spin.

gok commented on 2011-08-07 14:15


I took over maintenance of this package.
Feel free to drop a comment if you have any issue or suggestion.

gok commented on 2011-02-25 12:55

Hello, the current version of spin is 6.0.1.
Could you please update your PKGBUILD?
Here is the updated version I used to install spin 6.0.1:
"# Maintainer: Thomas Dziedzic < gostrc at gmail >
# Contributor: Pierre Chapuis <>

pkgdesc='Tool for the formal verification of distributed software systems.'
arch=('i686' 'x86_64')

build() {
cd Src$pkgver || return 1

make || return 1

package() {
cd Src$pkgver || return 1

install -Dm755 spin "$pkgdir/usr/bin/spin" || return 1

install -Dm644 "$srcdir/LICENSE.txt" "$pkgdir/usr/share/licenses/$pkgname/LICENSE.txt" || return 1