CVS log for ports/devel/spin/distinfo
![[BACK]](/gifs/back.gif){kind=small}
Up to [FreeBSD] / ports / devel / spin
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Revision 1.40: download - view: text, markup, annotated - select for diffs
Sun Jul 3 14:59:11 2011 UTC (7 months, 1 week ago) by ohauer
Branches: MAIN
CVS tags: RELEASE_9_0_0, HEAD
Diff to: previous 1.39: preferred, colored
Changes since revision 1.39: +0 -1 lines
-remove MD5
Revision 1.39: download - view: text, markup, annotated - select for diffs
Fri Oct 30 00:55:27 2009 UTC (2 years, 3 months ago) by amdmi3
Branches: MAIN
CVS tags: RELEASE_8_2_0, RELEASE_8_1_0, RELEASE_7_4_0, RELEASE_7_3_0, RELEASE_6_EOL
Diff to: previous 1.38: preferred, colored
Changes since revision 1.38: +3 -3 lines
- 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)
Revision 1.38: download - view: text, markup, annotated - select for diffs
Wed Jan 7 12:50:20 2009 UTC (3 years, 1 month ago) by wxs
Branches: MAIN
CVS tags: RELEASE_8_0_0, RELEASE_7_2_0
Diff to: previous 1.37: preferred, colored
Changes since revision 1.37: +3 -3 lines
- Update to 5.1.7 PR: ports/130243 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.37: download - view: text, markup, annotated - select for diffs
Tue Jul 22 06:51:30 2008 UTC (3 years, 6 months ago) by rafan
Branches: MAIN
CVS tags: RELEASE_7_1_0, RELEASE_6_4_0
Diff to: previous 1.36: preferred, colored
Changes since revision 1.36: +3 -3 lines
- Update to 5.1.6 PR: ports/125851 Submitted by: Jonathan Hanna <jhanna at shaw.ca> (maintainer)
Revision 1.36: download - view: text, markup, annotated - select for diffs
Fri Mar 7 13:38:11 2008 UTC (3 years, 11 months ago) by miwi
Branches: MAIN
CVS tags: RELEASE_5_EOL
Diff to: previous 1.35: preferred, colored
Changes since revision 1.35: +3 -3 lines
- Update to 5.1.4 PR: 121442 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.35: download - view: text, markup, annotated - select for diffs
Tue Oct 23 01:32:00 2007 UTC (4 years, 3 months ago) by rafan
Branches: MAIN
CVS tags: RELEASE_7_0_0, RELEASE_6_3_0
Diff to: previous 1.34: preferred, colored
Changes since revision 1.34: +3 -3 lines
- Update to 4.3.0 PR: ports/117394 Submitted by: Jonathan Hanna <jhanna at shaw.ca> (maintainer)
Revision 1.34: download - view: text, markup, annotated - select for diffs
Tue Nov 14 13:48:03 2006 UTC (5 years, 2 months ago) by ehaupt
Branches: MAIN
CVS tags: RELEASE_4_EOL, PRE_XORG_7
Diff to: previous 1.33: preferred, colored
Changes since revision 1.33: +3 -3 lines
Update to 4.2.7 PR: 105501 Submitted by: Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer)
Revision 1.33: download - view: text, markup, annotated - select for diffs
Sun Nov 27 20:46:45 2005 UTC (6 years, 2 months ago) by mnag
Branches: MAIN
CVS tags: RELEASE_6_2_0, RELEASE_6_1_0, RELEASE_5_5_0
Diff to: previous 1.32: preferred, colored
Changes since revision 1.32: +3 -2 lines
Update to 4.2.6 Add SHA256 PR: 89621 Submitted by: Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer)
Revision 1.32: download - view: text, markup, annotated - select for diffs
Mon May 23 11:46:19 2005 UTC (6 years, 8 months ago) by barner
Branches: MAIN
CVS tags: RELEASE_6_0_0
Diff to: previous 1.31: preferred, colored
Changes since revision 1.31: +2 -2 lines
- 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
Revision 1.31: download - view: text, markup, annotated - select for diffs
Tue Mar 8 18:50:38 2005 UTC (6 years, 11 months ago) by vs
Branches: MAIN
CVS tags: RELEASE_5_4_0
Diff to: previous 1.30: preferred, colored
Changes since revision 1.30: +2 -2 lines
Update to 4.2.4 PR: ports/78572 Submitted by: maintainer
Revision 1.30: download - view: text, markup, annotated - select for diffs
Tue Jan 11 16:49:42 2005 UTC (7 years, 1 month ago) by vs
Branches: MAIN
Diff to: previous 1.29: preferred, colored
Changes since revision 1.29: +2 -2 lines
Update to 4.2.2 PR: ports/75841 Submitted by: maintainer
Revision 1.29: download - view: text, markup, annotated - select for diffs
Tue Nov 2 19:09:28 2004 UTC (7 years, 3 months ago) by pav
Branches: MAIN
CVS tags: RELEASE_4_11_0
Diff to: previous 1.28: preferred, colored
Changes since revision 1.28: +2 -2 lines
- Update to 4.2.1 PR: ports/73402 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.28: download - view: text, markup, annotated - select for diffs
Fri Jul 2 23:42:50 2004 UTC (7 years, 7 months ago) by pav
Branches: MAIN
CVS tags: RELEASE_5_3_0
Diff to: previous 1.27: preferred, colored
Changes since revision 1.27: +2 -2 lines
- Update to 4.2.0 PR: ports/68611 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.27: download - view: text, markup, annotated - select for diffs
Sat Jun 5 06:47:30 2004 UTC (7 years, 8 months ago) by krion
Branches: MAIN
Diff to: previous 1.26: preferred, colored
Changes since revision 1.26: +2 -2 lines
- Update to version 4.1.3 PR: ports/67584 Submitted by: maintainer
Revision 1.26: download - view: text, markup, annotated - select for diffs
Tue Mar 9 22:50:27 2004 UTC (7 years, 11 months ago) by trevor
Branches: MAIN
CVS tags: RELEASE_4_10_0
Diff to: previous 1.25: preferred, colored
Changes since revision 1.25: +2 -2 lines
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)
Revision 1.25: download - view: text, markup, annotated - select for diffs
Mon Feb 23 22:34:47 2004 UTC (7 years, 11 months ago) by krion
Branches: MAIN
Diff to: previous 1.24: preferred, colored
Changes since revision 1.24: +2 -1 lines
- Update to version 4.1.2 PR: ports/63290 Submitted by: maintainer
Revision 1.24: download - view: text, markup, annotated - select for diffs
Thu Aug 28 07:43:33 2003 UTC (8 years, 5 months ago) by erwin
Branches: MAIN
CVS tags: RELEASE_5_2_1, RELEASE_5_2_0, RELEASE_4_9_0
Diff to: previous 1.23: preferred, colored
Changes since revision 1.23: +0 -1 lines
The HTML documentation tarball has been removed PR: 56071 Submitted by: maintainer
Revision 1.23: download - view: text, markup, annotated - select for diffs
Fri Aug 8 22:03:49 2003 UTC (8 years, 6 months ago) by leeym
Branches: MAIN
Diff to: previous 1.22: preferred, colored
Changes since revision 1.22: +1 -1 lines
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>
Revision 1.22: download - view: text, markup, annotated - select for diffs
Wed Jun 4 14:43:05 2003 UTC (8 years, 8 months ago) by mich
Branches: MAIN
Diff to: previous 1.21: preferred, colored
Changes since revision 1.21: +1 -1 lines
Update spin 4.0.3 -> 4.0.6 PR: 52819 Submitted by: maintainer Approved by: roberto (mentor)
Revision 1.21: download - view: text, markup, annotated - select for diffs
Fri Apr 11 16:33:33 2003 UTC (8 years, 10 months ago) by nork
Branches: MAIN
CVS tags: RELEASE_5_1_0
Diff to: previous 1.20: preferred, colored
Changes since revision 1.20: +1 -1 lines
Update to 4.0.3. PR: ports/50706 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.20: download - view: text, markup, annotated - select for diffs
Thu Jan 2 19:58:31 2003 UTC (9 years, 1 month ago) by ijliao
Branches: MAIN
CVS tags: RELEASE_4_8_0
Diff to: previous 1.19: preferred, colored
Changes since revision 1.19: +1 -1 lines
upgrade to 3.5.2 PR: 46071 Submitted by: maintainer
Revision 1.19: download - view: text, markup, annotated - select for diffs
Wed Oct 16 21:50:46 2002 UTC (9 years, 3 months ago) by obraun
Branches: MAIN
CVS tags: RELEASE_5_0_0
Diff to: previous 1.18: preferred, colored
Changes since revision 1.18: +1 -1 lines
* Upgrade to 3.5.0. * Change maintainers email. * Use REINPLACE. * Add master site. PR: 43753 Submitted by: maintainer
Revision 1.18: download - view: text, markup, annotated - select for diffs
Fri May 17 20:30:30 2002 UTC (9 years, 8 months ago) by sada
Branches: MAIN
CVS tags: old_RELEASE_4_6_0, RELEASE_4_7_0
Diff to: previous 1.17: preferred, colored
Changes since revision 1.17: +1 -1 lines
Upgrade to version 3.4.14 . PR: ports/36862 Submitted by: maintainer
Revision 1.17: download - view: text, markup, annotated - select for diffs
Sun Feb 17 02:48:33 2002 UTC (9 years, 11 months ago) by pat
Branches: MAIN
CVS tags: old_RELEASE_5_0_DP1
Diff to: previous 1.16: preferred, colored
Changes since revision 1.16: +1 -1 lines
Update to 3.4.13 PR: 35013 Submitted by: maintainer
Revision 1.16: download - view: text, markup, annotated - select for diffs
Fri Oct 19 15:48:41 2001 UTC (10 years, 3 months ago) by dwcjr
Branches: MAIN
CVS tags: old_RELEASE_4_5_0
Diff to: previous 1.15: preferred, colored
Changes since revision 1.15: +1 -1 lines
Really update to 3.4.9 this time Bump PORTREVISON to make sure no problems with previous error PR: 31269 Submitted by: maintainer
Revision 1.15: download - view: text, markup, annotated - select for diffs
Mon Jul 16 13:22:50 2001 UTC (10 years, 6 months ago) by dannyboy
Branches: MAIN
CVS tags: old_RELEASE_4_4_0
Diff to: previous 1.14: preferred, colored
Changes since revision 1.14: +1 -1 lines
Update to 3.4.8. PR: 28848 Submitted by: maintainer
Revision 1.14: download - view: text, markup, annotated - select for diffs
Sun May 27 13:03:44 2001 UTC (10 years, 8 months ago) by jeh
Branches: MAIN
Diff to: previous 1.13: preferred, colored
Changes since revision 1.13: +1 -1 lines
update to 3.4.7 PR: 27541 Submitted by: jhanna@home.com
Revision 1.13: download - view: text, markup, annotated - select for diffs
Thu Mar 29 20:08:45 2001 UTC (10 years, 10 months ago) by mharo
Branches: MAIN
CVS tags: old_RELEASE_4_3_0
Diff to: previous 1.12: preferred, colored
Changes since revision 1.12: +1 -1 lines
update to 3.4.5 PR: 26062 Submitted by: maintainer
Revision 1.12: download - view: text, markup, annotated - select for diffs
Mon Feb 12 12:57:57 2001 UTC (11 years ago) by kevlo
Branches: MAIN
Diff to: previous 1.11: preferred, colored
Changes since revision 1.11: +1 -1 lines
Update to version 3.4.4 PR: 25024 Submitted by: MAINTAINER
Revision 1.11: download - view: text, markup, annotated - select for diffs
Sun Dec 10 15:38:05 2000 UTC (11 years, 2 months ago) by roam
Branches: MAIN
Diff to: previous 1.10: preferred, colored
Changes since revision 1.10: +1 -1 lines
Update to 3.4.2 PR: 23408 Submitted by: maintainer
Revision 1.10: download - view: text, markup, annotated - select for diffs
Sat Sep 16 20:18:19 2000 UTC (11 years, 4 months ago) by ade
Branches: MAIN
CVS tags: old_RELEASE_4_2_0, old_RELEASE_4_1_1
Diff to: previous 1.9: preferred, colored
Changes since revision 1.9: +2 -2 lines
Update to 3.4.1 PR: 21181 Submitted by: maintainer
Revision 1.9: download - view: text, markup, annotated - select for diffs
Mon May 29 03:09:13 2000 UTC (11 years, 8 months ago) by steve
Branches: MAIN
CVS tags: old_RELEASE_4_1_0, old_RELEASE_3_5_0
Diff to: previous 1.8: preferred, colored
Changes since revision 1.8: +1 -1 lines
Update to version 3.3.10. PR: 18549 Submitted by: maintainer
Revision 1.8: download - view: text, markup, annotated - select for diffs
Wed Feb 9 13:49:07 2000 UTC (12 years ago) by jedgar
Branches: MAIN
CVS tags: old_RELEASE_4_0_0
Diff to: previous 1.7: preferred, colored
Changes since revision 1.7: +1 -1 lines
Update port to 3.3.9 PR: 16531 Submitted by: Maintainer
Revision 1.7: download - view: text, markup, annotated - select for diffs
Wed Jan 26 02:06:36 2000 UTC (12 years ago) by jedgar
Branches: MAIN
Diff to: previous 1.6: preferred, colored
Changes since revision 1.6: +1 -1 lines
* Update port to 3.3.8 * Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer
Revision 1.6: download - view: text, markup, annotated - select for diffs
Fri Dec 24 03:48:08 1999 UTC (12 years, 1 month ago) by jedgar
Branches: MAIN
Diff to: previous 1.5: preferred, colored
Changes since revision 1.5: +1 -1 lines
Update port to 3.3.7 PR: 15617 Submitted by: Maintainer
Revision 1.5: download - view: text, markup, annotated - select for diffs
Mon Oct 11 16:24:41 1999 UTC (12 years, 4 months ago) by flathill
Branches: MAIN
CVS tags: old_RELEASE_3_4_0
Diff to: previous 1.4: preferred, colored
Changes since revision 1.4: +1 -1 lines
Update to 3.3.5 and fixes unfetchable distfile PR: ports/14252 Submitted by: jh@cr1003333-a.crdva1.bc.home.com
Revision 1.4: download - view: text, markup, annotated - select for diffs
Thu Aug 12 00:31:48 1999 UTC (12 years, 6 months ago) by taoka
Branches: MAIN
CVS tags: old_RELEASE_3_3_0
Diff to: previous 1.3: preferred, colored
Changes since revision 1.3: +1 -1 lines
Updated to version 3.33 PR: 13015 Submitted: maintainer
Revision 1.3: download - view: text, markup, annotated - select for diffs
Fri Jun 25 03:51:30 1999 UTC (12 years, 7 months ago) by cpiazza
Branches: MAIN
Diff to: previous 1.2: preferred, colored
Changes since revision 1.2: +2 -2 lines
Update spin to 3.30. PR: 12373 Submitted by: maintainer
Revision 1.2: download - view: text, markup, annotated - select for diffs
Fri Feb 12 02:48:57 1999 UTC (13 years ago) by asami
Branches: MAIN
CVS tags: old_RELEASE_3_2_0, old_RELEASE_3_1_0
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +2 -2 lines
Upgrade to 3.24, fixes build problem. PR: 9732 Submitted by: maintainer
Revision 1.1.1.1 (vendor branch): download - view: text, markup, annotated - select for diffs
Sat Dec 12 22:17:48 1998 UTC (13 years, 2 months ago) by jseger
Branches: old_JHANNA
CVS tags: old_v3_23
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +0 -0 lines
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
Revision 1.1: download - view: text, markup, annotated - select for diffs
Sat Dec 12 22:17:48 1998 UTC (13 years, 2 months ago) by jseger
Branches: MAIN
Initial revision