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

1 2 3 4 Next › Last »

Ichimonji10 commented on 2019-07-04 17:47

Tagged releases are now available from GitHub. See: https://github.com/nimble-code/Spin/issues/1

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

Spinroot.com 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 spinroot.com, 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 https://github.com/freswa/spin/releases instead of https://spinroot.com/spin/Src/spin649.tar.gz ? 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: 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.