Package Details: spin 6.4.6-2

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: frederik
Last Packager: frederik
Votes: 28
Popularity: 0.647041
First Submitted: 2008-10-17 09:46
Last Updated: 2017-06-25 11:05

Dependencies (5)

  • glibc (glibc-wsl)
  • 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) (optional) – ispin graphical interface

Required by (2)

Sources (1)

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

All comments