Package Details: spin 6.5.0-1

Git Clone URL: https://aur.archlinux.org/spin.git (read-only)
Package Base: spin
Description: Tool for the formal verification of distributed software systems
Upstream URL: https://spinroot.com/
Licenses: custom:BSD3
Submitter: catwell
Maintainer: freswa
Last Packager: freswa
Votes: 33
Popularity: 0.179937
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 »

Anonymous comment on 2014-02-27 22:27

Ghostofkendo: Why not do the recommended thing (see here: https://bugs.archlinux.org/task/34175) 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"

Anonymous comment on 2014-02-27 22:26

Ghostofkendo: Why not do the recommended thing (see here: https://bugs.archlinux.org/task/34175) 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 spinroot.com 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 http://slopjong.de/2013/01/15/curl-the-requested-url-returned-error-406/
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 http://spinroot.com/spin/Src/spin625.tar.gz
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.