notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

Port details
spin On-the-fly verification system for asynchronous concurrent systems
6.5.2_1 devel on this many watch lists=3 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 6.5.2Version of this port present on the latest quarterly branch.
Maintainer: adridg@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2002-06-11 19:34:50
Last Update: 2024-03-06 13:03:24
Commit Hash: 4877728
People watching this port, also watch:: mutt, sound-juicer, mplayer-skins, p5-Gtk2
License: BSD3CLAUSE
WWW:
http://spinroot.com
Description:
Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. Spin uses a high level language to specify systems descriptions, called PROMELA (PROcess MEta LAnguage).
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (9 items)
Collapse this list.
  1. /usr/local/share/licenses/spin-6.5.2_1/catalog.mk
  2. /usr/local/share/licenses/spin-6.5.2_1/LICENSE
  3. /usr/local/share/licenses/spin-6.5.2_1/BSD3CLAUSE
  4. bin/spin
  5. bin/ispin
  6. share/man/man1/spin.1.gz
  7. @owner
  8. @group
  9. @mode
Collapse this list.
Dependency lines:
  • spin>0:devel/spin
To install the port:
cd /usr/ports/devel/spin/ && make install clean
To add the package, run one of these commands:
  • pkg install devel/spin
  • pkg install spin
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: spin
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1693649541 SHA256 (nimble-code-Spin-version-6.5.2_GH0.tar.gz) = e46a3bd308c4cd213cc466a8aaecfd5cedc02241190f3cb9a1d1b87e5f37080a SIZE (nimble-code-Spin-version-6.5.2_GH0.tar.gz) = 6084903

Packages (timestamps in pop-ups are UTC):
spin
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest6.5.26.5.2_16.5.06.5.26.5.2_1-6.5.0-
FreeBSD:13:quarterly6.5.26.5.26.5.06.5.26.5.26.5.26.5.26.5.2
FreeBSD:14:latest6.5.26.5.2_16.5.06.5.26.5.2_16.5.0-6.5.0
FreeBSD:14:quarterly6.5.26.5.2-6.5.26.5.26.5.26.5.26.5.2
FreeBSD:15:latest6.5.26.5.2_1n/a6.5.2n/a6.5.26.5.26.5.2
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Library dependencies:
  1. libtk86.so : x11-toolkits/tk86
  2. libtcl86.so : lang/tcl86
There are no ports dependent upon this port

Configuration Options:
===> The following configuration options are available for spin-6.5.2_1: DOCS=on: Build and/or install documentation EXAMPLES=on: Build and/or install examples ISPIN=on: Install ispin and TCL/Tk dependency ===> Use 'make config' to modify these settings
Options name:
devel_spin
USES:
cpe shebangfix tk
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/nimble-code/Spin/tar.gz/version-6.5.2?dummy=/
Collapse this list.

Number of commits found: 58

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
6.5.2_1
06 Mar 2024 13:03:24
commit hash: 4877728ebcca83d88a72321e4ccd1eab4e251c39commit hash: 4877728ebcca83d88a72321e4ccd1eab4e251c39commit hash: 4877728ebcca83d88a72321e4ccd1eab4e251c39commit hash: 4877728ebcca83d88a72321e4ccd1eab4e251c39 files touched by this commit
Nuno Teixeira (eduardo) search for other commits by this committer
devel/spin: Move man pages to share/man

Approved by:	portmgr (blanket)
6.5.2
02 Sep 2023 14:09:35
commit hash: 5722805a0290d8c1708e449fd9023de9e9db02cecommit hash: 5722805a0290d8c1708e449fd9023de9e9db02cecommit hash: 5722805a0290d8c1708e449fd9023de9e9db02cecommit hash: 5722805a0290d8c1708e449fd9023de9e9db02ce files touched by this commit
Adriaan de Groot (adridg) search for other commits by this committer
devel/spin: adopt and update port
6.5.0
09 Oct 2022 11:56:28
commit hash: f57221afde929c42521a9325c8e6416e2e400178commit hash: f57221afde929c42521a9325c8e6416e2e400178commit hash: f57221afde929c42521a9325c8e6416e2e400178commit hash: f57221afde929c42521a9325c8e6416e2e400178 files touched by this commit
Fernando Apesteguía (fernape) search for other commits by this committer
*/*: Release ports from maintainership

Maintainer releases all his ports.

PR:		266871
Reported by:	unrelentingtech <greg@unrelenting.technology>
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
6.5.0
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
6.5.0
20 Jul 2022 14:21:35
commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
devel: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  "Waitman Gobble" <uzimac@da3m0n8t3r.com>
  *  <jkoshy@FreeBSD.org>
  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Aaron H. K. Diep <ahkdiep@gmail.com>
  *  Aaron Hurt <ahurt@anbcs.com>
  *  Abel Chow <abel_chow@yahoo.com>
  *  Adam McLaurin
  *  Adam Saponara <as@php.net>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Ade Lovett <ade@FreeBSD.org>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
6.5.0
18 Mar 2022 13:23:51
commit hash: 7c2bd4b89062e59d5ee7ec9daef8badb2126989ccommit hash: 7c2bd4b89062e59d5ee7ec9daef8badb2126989ccommit hash: 7c2bd4b89062e59d5ee7ec9daef8badb2126989ccommit hash: 7c2bd4b89062e59d5ee7ec9daef8badb2126989c files touched by this commit
Bernhard Froehlich (decke) search for other commits by this committer
devel/spin: Add CPE information

Approved by:	portmgr (blanket)
6.5.0
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
6.5.0
06 Oct 2019 16:04:08
Revision:513892Original commit files touched by this commit
meta search for other commits by this committer
devel/spin: Ressurect the port & assign to submitter

it never actually needed gcc, "gcc" was just a hardcoded compiler name
instead of "cc".

While here,
- Upstream switched to GitHub
- Update to 6.5.0

PR:		241067
Submitted by:	Greg V <greg@unrelenting.technology>
6.4.8_2
05 Sep 2019 11:40:24
Revision:511180Original commit files touched by this commit
rene search for other commits by this committer
Remove expired ports:
2019-09-04 devel/ace+tao-doc: Broken for more than 6 months
2019-09-04 devel/dfmt: Broken for more than 6 months
2019-09-04 devel/ignition-transport: Broken for more than 6 months
2019-09-04 devel/spin: Broken for more than 6 months
2019-09-04 editors/dexed: Depends on expiring devel/dfmt
2019-09-04 editors/p5-Padre: Depends on expiring x11-toolkits/p5-Wx
2019-09-04 emulators/qemu2: Latest 3.X branch is in ports tree
2019-09-04 games/asc: Broken for more than 6 months
2019-09-04 games/slade: Broken for more than 6 months
2019-09-04 graphics/gimp-wavelet-decompose-plugin: Broken for more than 6 months
2019-09-04 graphics/py-pyembree: Depends on expiring graphics/embree
2019-09-04 irc/irssi-otr: Broken for more than 6 months
2019-09-04 mail/p5-Mail-ClamAV: Broken for more than 6 months
2019-09-04 mail/qmail-ldap: Broken for more than 6 months
(Only the first 15 lines of the commit message are shown above View all of this commit message)
6.4.8_2
04 Aug 2019 09:07:48
Revision:508082Original commit files touched by this commit
antoine search for other commits by this committer
Deprecate ports broken for more than 6 months
6.4.8_2
26 Jul 2019 20:46:57
Revision:507372Original commit files touched by this commit
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
6.4.8_1
08 Mar 2019 07:49:02
Revision:495026Original commit files touched by this commit
antoine search for other commits by this committer
Mark BROKEN: depends on the gcc meta port
6.4.8_1
12 Dec 2018 01:35:36
Revision:487272Original commit files touched by this commit
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
6.4.8
22 Sep 2018 06:27:10
Revision:480346Original commit files touched by this commit
yuri search for other commits by this committer
devel/spin: Unbreak: the offending patch was obviously only patching comments
6.4.8
22 Sep 2018 06:13:42
Revision:480343Original commit files touched by this commit
antoine search for other commits by this committer
Mark BROKEN:  fails to patch

Reported by:	pkg-fallout
6.4.8
14 Sep 2018 16:56:48
Revision:479777Original commit files touched by this commit
lwhsu search for other commits by this committer
- Update to 6.4.8
- SPIN depends on gcc to run
6.4.5
09 Apr 2016 21:43:01
Revision:412872Original commit files touched by this commit
tota search for other commits by this committer
- Update to 6.4.5
- Add LICENSE section
- Make use of PORTDOCS, PORTEXAMPLES and some options helpers
- Make portlint happier
6.4.3
30 Mar 2016 16:41:22
Revision:412175Original commit files touched by this commit
culot search for other commits by this committer
- Reassign to the heap, on maintainer's request
6.4.3
19 Dec 2014 20:25:12
Revision:374974Original commit files touched by this commit
pawel search for other commits by this committer
Update to version 6.4.3

PR:		196071
Submitted by:	maintainer
6.4.2
15 Dec 2014 21:45:00
Revision:374766Original commit files touched by this commit
pawel search for other commits by this committer
Fix build on FreeBSD 8.x and 9.x

PR:		195687
Submitted by:	maintainer
6.4.2
15 Nov 2014 09:25:58
Revision:372586Original commit files touched by this commit
riggs search for other commits by this committer
Update to upstream version 6.4.2
Maintainer change from ports@ to Anton Tornqvist (antont@inbox.lv)

PR:		194704
Submitted by:	antont@inbox.lv (new maintainer)
6.3.2
27 Oct 2014 11:07:20
Revision:371552Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
6.3.2
06 Aug 2014 15:24:38
Revision:364193Original commit files touched by this commit
vanilla search for other commits by this committer
1: Upgrade to 6.3.2.
2: Stagify.
5.2.2
04 Jul 2014 12:06:07
Revision:360604Original commit files touched by this commit
bapt search for other commits by this committer
Resetting maintainership on ports that have not been staged and without any
pending PR (related to stage)

With hat:	portmgr
5.2.2
10 Jun 2014 07:39:02
Revision:357277Original commit files touched by this commit
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus
minor COMMENT typos and surrounding whitespace fixes. Categories D-F.

CR:		D196
Approved by:	portmgr (bapt)
5.2.2
20 Sep 2013 17:17:45
Revision:327726Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)
5.2.2
11 May 2013 13:49:06
Revision:317876Original commit files touched by this commit
bapt search for other commits by this committer
Convert to new options framework
5.2.2
03 Jul 2011 14:59:23
Original commit files touched by this commit
ohauer search for other commits by this committer
-remove MD5
5.2.2
30 Oct 2009 00:55:27
Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Update to 5.2.2
- While here, mark MAKE_JOBS_UNSAFE (fails with forced jobs)

PR:             139846
Submitted by:   Alexander Best <alexbestms@math.uni-muenster.de>
Approved by:    Jonathan Hanna <jhanna@shaw.ca> (maintainer)
5.1.7
07 Jan 2009 12:50:20
Original commit files touched by this commit
wxs search for other commits by this committer
- Update to 5.1.7

PR:             ports/130243
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
5.1.6
22 Jul 2008 06:51:30
Original commit files touched by this commit
rafan search for other commits by this committer
- Update to 5.1.6

PR:             ports/125851
Submitted by:   Jonathan Hanna <jhanna at shaw.ca> (maintainer)
5.1.4
07 Mar 2008 13:38:11
Original commit files touched by this commit
miwi search for other commits by this committer
- Update to 5.1.4

PR:             121442
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
4.3.0
23 Oct 2007 01:32:00
Original commit files touched by this commit
rafan search for other commits by this committer
- Update to 4.3.0

PR:             ports/117394
Submitted by:   Jonathan Hanna <jhanna at shaw.ca> (maintainer)
4.2.7_1
19 May 2007 20:32:57
Original commit files touched by this commit
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
4.2.7
14 Nov 2006 13:48:03
Original commit files touched by this commit
ehaupt search for other commits by this committer
Update to 4.2.7

PR:             105501
Submitted by:   Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer)
4.2.6_1
07 Oct 2006 11:24:47
Original commit files touched by this commit
pav search for other commits by this committer
- Fix xspin runtime: sed the correct wish executable into the script

PR:             ports/102738 (adapted)
Submitted by:   <mitsuru@riken.jp>
Approved by:    Jonathan Hanna <jhanna@shaw.ca> (maintainer)
4.2.6
04 May 2006 21:41:12
Original commit files touched by this commit
edwin search for other commits by this committer
Remove USE_REINPLACE from all categories starting with D
4.2.6
27 Nov 2005 20:46:46
Original commit files touched by this commit
mnag search for other commits by this committer
Update to 4.2.6
Add SHA256

PR:             89621
Submitted by:   Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer)
4.2.5
23 May 2005 11:46:19
Original commit files touched by this commit
barner search for other commits by this committer
- Update to 4.2.5 [1]
- Fix portlint warning [2]
- Fix plist w/ NOPORTDOCS (man page) [2]

Submitted by:   maintainer[1],
                barner [2]
PR:             ports/81383
4.2.4
08 Mar 2005 18:50:38
Original commit files touched by this commit
vs search for other commits by this committer
Update to 4.2.4

PR:             ports/78572
Submitted by:   maintainer
4.2.2
11 Jan 2005 16:49:42
Original commit files touched by this commit
vs search for other commits by this committer
Update to 4.2.2

PR:             ports/75841
Submitted by:   maintainer
4.2.1
02 Nov 2004 19:09:28
Original commit files touched by this commit
pav search for other commits by this committer
- Update to 4.2.1

PR:             ports/73402
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
4.2.0
02 Jul 2004 23:42:50
Original commit files touched by this commit
pav search for other commits by this committer
- Update to 4.2.0

PR:             ports/68611
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
4.1.3
05 Jun 2004 06:47:30
Original commit files touched by this commit
krion search for other commits by this committer
- Update to version 4.1.3

PR:             ports/67584
Submitted by:   maintainer
4.1.2
09 Mar 2004 22:50:27
Original commit files touched by this commit
trevor search for other commits by this committer
Use new distfile.  Minor changes were made to xspin412.tcl, mostly
in the comments, and DOS-style carriage-return characters were added
to the file.

PR:             63940
Submitted by:   Jonathan Hanna (maintainer)
4.1.2
09 Mar 2004 15:54:22
Original commit files touched by this commit
trevor search for other commits by this committer
Mark BROKEN due to checksum mismatch.  I e-mailed the maintainer
about the problem.
4.1.2
23 Feb 2004 22:34:47
Original commit files touched by this commit
krion search for other commits by this committer
- Update to version 4.1.2

PR:             ports/63290
Submitted by:   maintainer
4.0.7_1
23 Jan 2004 05:28:50
Original commit files touched by this commit
trevor search for other commits by this committer
Use LS macro.
4.0.7_1
28 Aug 2003 07:43:33
Original commit files touched by this commit
erwin search for other commits by this committer
The HTML documentation tarball has been removed

PR:             56071
Submitted by:   maintainer
4.0.7
08 Aug 2003 22:03:49
Original commit files touched by this commit
leeym search for other commits by this committer
A newer spin has been released. Also, the current spin suffers
from having been minorly updated without a distfile version bump.

Alternate master sites have been removed for now, they have not
been updated with the current version.

The patch also makes the xspin dependency on with8.4 explicit,
though xspin should work 8.3 as well.
xspin can now be suppressed with WITHOUT_XSPIN.

PR:             55364
Submitted by:   Jonathan Hanna <jhanna@shaw.ca>
4.0.6
07 Aug 2003 08:33:44
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN: CHecksum mismatch
4.0.6
04 Jun 2003 14:43:05
Original commit files touched by this commit
mich search for other commits by this committer
Update spin 4.0.3 -> 4.0.6

PR:             52819
Submitted by:   maintainer
Approved by:    roberto (mentor)
4.0.3
11 Apr 2003 16:33:33
Original commit files touched by this commit
nork search for other commits by this committer
Update to 4.0.3.

PR:             ports/50706
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
3.5.2
21 Feb 2003 11:23:04
Original commit files touched by this commit
knu search for other commits by this committer
De-pkg-comment.
3.5.2
02 Jan 2003 19:58:31
Original commit files touched by this commit
ijliao search for other commits by this committer
upgrade to 3.5.2

PR:             46071
Submitted by:   maintainer
3.5.0
16 Oct 2002 21:50:47
Original commit files touched by this commit
obraun search for other commits by this committer
* Upgrade to 3.5.0.
* Change maintainers email.
* Use REINPLACE.
* Add master site.

PR:             43753
Submitted by:   maintainer
3.4.14
11 Jun 2002 19:31:07
Original commit files touched by this commit
sada search for other commits by this committer
Category move: math/spin to devel

PR:             ports/10396
Submitted by:   Daniel C. Sobral <dcs@newsguy.com>
Approved by:    maintainer

Number of commits found: 58