Search Criteria
Package Details: spin 6.4.9-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: | |
Submitter: | catwell |
Maintainer: | freswa |
Last Packager: | freswa |
Votes: | 32 |
Popularity: | 0.625938 |
First Submitted: | 2008-10-17 09:46 |
Last Updated: | 2019-01-22 15:52 |
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
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:
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.
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.