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 An on-the-fly verification system for asynchronous concurrent systems
3.4.16 math Deleted on this many watch lists=1 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 3.4.16Version of this port present on the latest quarterly branch.
Maintainer: jhanna@shaw.ca search for ports maintained by this maintainer
Port Added: unknown
Last Update: 2002-06-11 19:31:07
SVN Revision: UNKNOWN
People watching this port, also watch:: python-doc-html, mscompress, pdflib
License: not specified in port
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).
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • >0:math/spin
No installation instructions:
This port has been deleted.
PKGNAME:
Flavors: there is no flavor information for this port.
distinfo:
There is no distinfo for this port.

No package information for this port in our database
Sometimes this happens. Not all ports have packages.
This port has no dependencies.
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
N/A
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (3 items)
Collapse this list.
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/spin/
  2. ftp://netlib.bell-labs.com/netlib/spin/
  3. ftp://www.netlib.org/spin/
Collapse this list.

Number of commits found: 16

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.4.16
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
3.4.16
08 Jun 2002 13:21:48
Original commit files touched by this commit
petef search for other commits by this committer
- update to 3.4.16
- update maintainer's email address

PR:             39020
Submitted by:   Jonathan Hanna <jhanna@shaw.ca>
3.4.14
17 May 2002 20:30:30
Original commit files touched by this commit
sada search for other commits by this committer
Upgrade to version 3.4.14 .
PR:     ports/36862
Submitted by:   maintainer
17 Feb 2002 02:48:34
commit hash: fp1.24809@dev.null.freshports.orgcommit hash: fp1.24809@dev.null.freshports.orgcommit hash: fp1.24809@dev.null.freshports.orgcommit hash: fp1.24809@dev.null.freshports.org files touched by this commit
pat search for other commits by this committer
Update to 3.4.13    
19 Oct 2001 16:48:41
commit hash: fp1.19868@dev.null.freshports.orgcommit hash: fp1.19868@dev.null.freshports.orgcommit hash: fp1.19868@dev.null.freshports.orgcommit hash: fp1.19868@dev.null.freshports.org files touched by this commit
dwcjr search for other commits by this committer
Really update to 3.4.9 this time   Bump PORTREVISON to make sure no problems
with previous error    
19 Oct 2001 06:30:27
commit hash: fp1.19848@dev.null.freshports.orgcommit hash: fp1.19848@dev.null.freshports.orgcommit hash: fp1.19848@dev.null.freshports.orgcommit hash: fp1.19848@dev.null.freshports.org files touched by this commit
dwcjr search for other commits by this committer
Update to 3.4.9    
23 Sep 2001 20:50:43
commit hash: fp1.19069@dev.null.freshports.orgcommit hash: fp1.19069@dev.null.freshports.orgcommit hash: fp1.19069@dev.null.freshports.orgcommit hash: fp1.19069@dev.null.freshports.org files touched by this commit
dwcjr search for other commits by this committer
Remove ftp.freesoftware.com from MASTER_SITES of ports since it no longer
exists.    
16 Jul 2001 14:22:50
commit hash: fp1.16211@dev.null.freshports.orgcommit hash: fp1.16211@dev.null.freshports.orgcommit hash: fp1.16211@dev.null.freshports.orgcommit hash: fp1.16211@dev.null.freshports.org files touched by this commit
dannyboy search for other commits by this committer
Update to 3.4.8.    
27 May 2001 14:03:45
commit hash: fp1.14226@dev.null.freshports.orgcommit hash: fp1.14226@dev.null.freshports.orgcommit hash: fp1.14226@dev.null.freshports.orgcommit hash: fp1.14226@dev.null.freshports.org files touched by this commit
jeh search for other commits by this committer
update to 3.4.7    
29 Mar 2001 20:08:46
commit hash: fp1.11753@dev.null.freshports.orgcommit hash: fp1.11753@dev.null.freshports.orgcommit hash: fp1.11753@dev.null.freshports.orgcommit hash: fp1.11753@dev.null.freshports.org files touched by this commit
mharo search for other commits by this committer
update to 3.4.5    
12 Feb 2001 12:58:01
commit hash: fp1.9509@dev.null.freshports.orgcommit hash: fp1.9509@dev.null.freshports.orgcommit hash: fp1.9509@dev.null.freshports.orgcommit hash: fp1.9509@dev.null.freshports.org files touched by this commit
kevlo search for other commits by this committer
Update to version 3.4.4    
10 Dec 2000 15:38:09
commit hash: fp1.7105@dev.null.freshports.orgcommit hash: fp1.7105@dev.null.freshports.orgcommit hash: fp1.7105@dev.null.freshports.orgcommit hash: fp1.7105@dev.null.freshports.org files touched by this commit
roam search for other commits by this committer
Update to 3.4.2    
08 Oct 2000 04:10:26
commit hash: fp1.4777@dev.null.freshports.orgcommit hash: fp1.4777@dev.null.freshports.orgcommit hash: fp1.4777@dev.null.freshports.orgcommit hash: fp1.4777@dev.null.freshports.org files touched by this commit
asami search for other commits by this committer
Convert category math to new layout.  
16 Sep 2000 21:18:20
commit hash: fp1.3974@dev.null.freshports.orgcommit hash: fp1.3974@dev.null.freshports.orgcommit hash: fp1.3974@dev.null.freshports.orgcommit hash: fp1.3974@dev.null.freshports.org files touched by this commit
ade search for other commits by this committer
Update to 3.4.1    
23 Jun 2000 14:44:04
commit hash: fp1.1174@dev.null.freshports.orgcommit hash: fp1.1174@dev.null.freshports.orgcommit hash: fp1.1174@dev.null.freshports.orgcommit hash: fp1.1174@dev.null.freshports.org files touched by this commit
sobomax search for other commits by this committer
- Support LOCALBASE properly (in setting path to custom wish script)    
29 May 2000 04:09:14
commit hash: fp1.258@dev.null.freshports.orgcommit hash: fp1.258@dev.null.freshports.orgcommit hash: fp1.258@dev.null.freshports.orgcommit hash: fp1.258@dev.null.freshports.org files touched by this commit
steve search for other commits by this committer
Update to version 3.3.10.    

Number of commits found: 16