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

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
Aborting...
==> ERROR: Makepkg was unable to build spin.

gok commented on 2011-08-07 14:15

Hello,

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 <catwell@archlinux.us>

pkgname=spin
pkgver=6.0.1
pkgrel=1
pkgdesc='Tool for the formal verification of distributed software systems.'
arch=('i686' 'x86_64')
url='http://spinroot.com/'
license=('custom')
depends=('glibc')
source=("http://spinroot.com/spin/Src/src${pkgver//./}.tar.gz"
'LICENSE.txt')
md5sums=('da8b0530a61a2c5f4a04fd366c511068'
'1b7db1b5f5da972bab3db17472e3a342')

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
}"