Package Details: spin 6.4.9-1

Git Clone URL: (read-only)
Package Base: spin
Description: Tool for the formal verification of distributed software systems
Upstream URL:
Licenses: custom:BSD3
Submitter: catwell
Maintainer: freswa
Last Packager: freswa
Votes: 32
Popularity: 0.166944
First Submitted: 2008-10-17 09:46
Last Updated: 2019-01-22 15:52

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

1 2 3 4 Next › Last »

freswa commented on 2019-01-22 23:20

You're welcome :)

Ichimonji10 commented on 2019-01-22 23:19

Got it. Thank you for clarifying!

freswa commented on 2019-01-22 23:18 is protected by cloudflare and thus it makes troubles fetching files from their homepage via wget or curl.

Ichimonji10 commented on 2019-01-22 23:14

I'm looking at, not GitHub.

freswa commented on 2019-01-22 23:12

At the moment they have no releases in the repo. When they put their first release on github, I'll switch to their repo.

Ichimonji10 commented on 2019-01-22 17:03

Thanks for updating to 6.4.9!

Is there any particular reason that sources are fetched from instead of ? They seem similar:

$ diff --recursive --brief Spin/ spin-6.4.9/
Files Spin/Doc/Book2003_Errata.html and spin-6.4.9/Doc/Book2003_Errata.html differ

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