Skip site navigation (1)Skip section navigation (2)

CVS log for ports/devel/spin/pkg-plist

[BACK] Up to [FreeBSD] / ports / devel / spin

Request diff between arbitrary revisions

Keyword substitution: kv
Default branch: MAIN

Revision 1.20: 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_9_0_0, RELEASE_8_2_0, RELEASE_8_1_0, RELEASE_8_0_0, RELEASE_7_4_0, RELEASE_7_3_0, RELEASE_7_2_0, RELEASE_7_1_0, RELEASE_6_EOL, RELEASE_6_4_0, RELEASE_5_EOL, HEAD
Diff to: previous 1.19: preferred, colored
Changes since revision 1.19: +2 -0 lines
- Update to 5.1.4

PR:		121442
Submitted by:	Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.19: 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.18: preferred, colored
Changes since revision 1.18: +5 -2 lines
- Update to 4.3.0

PR:		ports/117394
Submitted by:	Jonathan Hanna <jhanna at shaw.ca> (maintainer)
Revision 1.18: 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_2_0, RELEASE_6_1_0, RELEASE_6_0_0, RELEASE_5_5_0, RELEASE_4_EOL, PRE_XORG_7
Diff to: previous 1.17: preferred, colored
Changes since revision 1.17: +5 -4 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.17: 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_4_0, RELEASE_5_3_0, RELEASE_4_11_0
Diff to: previous 1.16: preferred, colored
Changes since revision 1.16: +4 -4 lines
- Update to 4.2.0

PR:		ports/68611
Submitted by:	Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.16: 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
CVS tags: RELEASE_4_10_0
Diff to: previous 1.15: preferred, colored
Changes since revision 1.15: +1 -0 lines
- Update to version 4.1.2

PR:		ports/63290
Submitted by:	maintainer
Revision 1.15: 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.14: preferred, colored
Changes since revision 1.14: +0 -85 lines
The HTML documentation tarball has been removed

PR:		56071
Submitted by:	maintainer
Revision 1.14: 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.13: preferred, colored
Changes since revision 1.13: +134 -134 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.13: 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.12: preferred, colored
Changes since revision 1.12: +1 -1 lines
Update to 4.0.3.

PR:		ports/50706
Submitted by:	Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.12: 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.11: preferred, colored
Changes since revision 1.11: +1 -1 lines
upgrade to 3.5.2

PR:		46071
Submitted by:	maintainer
Revision 1.11: 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.10: preferred, colored
Changes since revision 1.10: +1 -1 lines
* Upgrade to 3.5.0.
* Change maintainers email.
* Use REINPLACE.
* Add master site.

PR:		43753
Submitted by:	maintainer
Revision 1.10: 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
CVS tags: old_RELEASE_5_0_DP1, old_RELEASE_4_6_0, old_RELEASE_4_5_0, old_RELEASE_4_4_0, RELEASE_4_7_0
Diff to: previous 1.9: preferred, colored
Changes since revision 1.9: +1 -1 lines
update to 3.4.7

PR:		27541
Submitted by:	jhanna@home.com
Revision 1.9: 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
CVS tags: old_RELEASE_4_3_0
Diff to: previous 1.8: preferred, colored
Changes since revision 1.8: +1 -1 lines
Update to 3.4.2

PR:		23408
Submitted by:	maintainer
Revision 1.8: download - view: text, markup, annotated - select for diffs
Sat Sep 16 20:18:20 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.7: preferred, colored
Changes since revision 1.7: +6 -1 lines
Update to 3.4.1

PR:		21181
Submitted by:	maintainer
Revision 1.7: 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.6: preferred, colored
Changes since revision 1.6: +1 -1 lines
Update to version 3.3.10.

PR:		18549
Submitted by:	maintainer
Revision 1.6: download - view: text, markup, annotated - select for diffs
Wed Jan 26 02:06:39 2000 UTC (12 years ago) by jedgar
Branches: MAIN
CVS tags: old_RELEASE_4_0_0
Diff to: previous 1.5: preferred, colored
Changes since revision 1.5: +1 -1 lines
* Update port to 3.3.8
* Fix unfetchable distfiles

PR:		16321
Submitted by:	Maintainer
Revision 1.5: download - view: text, markup, annotated - select for diffs
Fri Dec 24 03:48:12 1999 UTC (12 years, 1 month ago) by jedgar
Branches: MAIN
Diff to: previous 1.4: preferred, colored
Changes since revision 1.4: +1 -1 lines
Update port to 3.3.7

PR:		15617
Submitted by:	Maintainer
Revision 1.4: download - view: text, markup, annotated - select for diffs
Wed Sep 8 22:44:43 1999 UTC (12 years, 5 months ago) by cpiazza
Branches: MAIN
CVS tags: old_RELEASE_3_4_0, old_RELEASE_3_3_0
Diff to: previous 1.3: preferred, colored
Changes since revision 1.3: +1 -1 lines
xspin333.tcl should be in the PLIST, not 300

PR:		13620
Submitted by:	Jonathan Hanna <pangolin@home.com>
Revision 1.3: download - view: text, markup, annotated - select for diffs
Fri Jun 25 03:51:43 1999 UTC (12 years, 7 months ago) by cpiazza
Branches: MAIN
Diff to: previous 1.2: preferred, colored
Changes since revision 1.2: +4 -1 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:58 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: +5 -1 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
Diff request

This form allows you to request diffs between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.

Log view options