kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
118192 commits 42 branches 80 tags 2.7 GiB
Commit graph

30 commits

Author SHA1 Message Date
Volker Stolz
8817f4dcbd Update to 4.2.2 
PR:		ports/75841
Submitted by:	maintainer
 2005-01-11 16:49:42 +00:00
Pav Lucistnik
88848b1f6d - Update to 4.2.1 
PR:		ports/73402
Submitted by:	Jonathan Hanna <jhanna@shaw.ca> (maintainer)
 2004-11-02 19:09:28 +00:00
Pav Lucistnik
4206955eff - Update to 4.2.0 
PR:		ports/68611
Submitted by:	Jonathan Hanna <jhanna@shaw.ca> (maintainer)
 2004-07-02 23:42:50 +00:00
Kirill Ponomarev
6e4dc3cdd6 - Update to version 4.1.3 
PR:		ports/67584
Submitted by:	maintainer
 2004-06-05 06:47:30 +00:00
Trevor Johnson
beaa3c72b3 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)
 2004-03-09 22:50:27 +00:00
Kirill Ponomarev
842ba9821b - Update to version 4.1.2 
PR:		ports/63290
Submitted by:	maintainer
 2004-02-23 22:34:47 +00:00
Erwin Lansing
7352d398f2 The HTML documentation tarball has been removed 
PR:		56071
Submitted by:	maintainer
 2003-08-28 07:43:33 +00:00
Yen-Ming Lee
97cc26f654 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>
 2003-08-08 22:03:49 +00:00
Michael Landin
9529c1de8d Update spin 4.0.3 -> 4.0.6 
PR:		52819
Submitted by:	maintainer
Approved by:	roberto (mentor)
 2003-06-04 14:43:05 +00:00
Norikatsu Shigemura
b233f5dbd8 Update to 4.0.3. 
PR:		ports/50706
Submitted by:	Jonathan Hanna <jhanna@shaw.ca> (maintainer)
 2003-04-11 16:33:33 +00:00
Ying-Chieh Liao
3eaa991f8f upgrade to 3.5.2 
PR:		46071
Submitted by:	maintainer
 2003-01-02 19:58:31 +00:00
Oliver Braun
ad4701a41f * Upgrade to 3.5.0. 
* Change maintainers email.
* Use REINPLACE.
* Add master site.

PR:		43753
Submitted by:	maintainer
 2002-10-16 21:50:47 +00:00
SADA Kenji
3a381fe3a1 Upgrade to version 3.4.14 . 
PR:	ports/36862
Submitted by:	maintainer
 2002-05-17 20:30:30 +00:00
Patrick Li
6daa103af7 Update to 3.4.13 
PR:		35013
Submitted by:	maintainer
 2002-02-17 02:48:34 +00:00
David W. Chapman Jr.
e9aeb74706 Really update to 3.4.9 this time 
Bump PORTREVISON to make sure no problems with previous error

PR:		31269
Submitted by:	maintainer
 2001-10-19 15:48:41 +00:00
Daniel Harris
3fb87da320 Update to 3.4.8. 
PR:		28848
Submitted by:	maintainer
 2001-07-16 13:22:50 +00:00
James E. Housley
ee0f012fb0 update to 3.4.7 
PR:		27541
Submitted by:	jhanna@home.com
 2001-05-27 13:03:44 +00:00
Michael Haro
2da5b38032 update to 3.4.5 
PR:		26062
Submitted by: maintainer
 2001-03-29 20:08:45 +00:00
Kevin Lo
45ace1ed85 Update to version 3.4.4 
PR: 25024
Submitted by: MAINTAINER
 2001-02-12 12:58:00 +00:00
Peter Pentchev
4c30955d29 Update to 3.4.2 
PR:		23408
Submitted by:	maintainer
 2000-12-10 15:38:08 +00:00
Ade Lovett
b630d590c1 Update to 3.4.1 
PR:		21181
Submitted by:	maintainer
 2000-09-16 20:18:20 +00:00
Steve Price
e56e18e098 Update to version 3.3.10. 
PR:		18549
Submitted by:	maintainer
 2000-05-29 03:09:13 +00:00
Chris D. Faulhaber
b15738b51a Update port to 3.3.9 
PR:		16531
Submitted by:	Maintainer
 2000-02-09 13:49:07 +00:00
Chris D. Faulhaber
203c546fe7 * Update port to 3.3.8 
* Fix unfetchable distfiles

PR:		16321
Submitted by:	Maintainer
 2000-01-26 02:06:39 +00:00
Chris D. Faulhaber
4b353c2a01 Update port to 3.3.7 
PR:		15617
Submitted by:	Maintainer
 1999-12-24 03:48:12 +00:00
Seiichirou Hiraoka
5fa89c3570 Update to 3.3.5 and fixes unfetchable distfile 
PR: ports/14252
Submitted by: jh@cr1003333-a.crdva1.bc.home.com
 1999-10-11 16:24:41 +00:00
Satoshi Taoka
f3f0604e7d Updated to version 3.33 
PR:		13015
Submitted:	maintainer
 1999-08-12 00:31:50 +00:00
Chris Piazza
df0bac14de Update spin to 3.30. 
PR:	12373
Submitted by:	maintainer
 1999-06-25 03:51:43 +00:00
Satoshi Asami
f27ea50304 Upgrade to 3.24, fixes build problem. 
PR:		9732
Submitted by:	maintainer
 1999-02-12 02:48:58 +00:00
Justin M. Seger
2052cf95c1 Import of math spin: 
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.

PR:		ports/9058
Submitted by:	pangolin@home.com
 1998-12-12 22:17:48 +00:00