mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-27 05:10:36 +00:00
Code Issues Releases Activity
100,196 Commits 45 Branches 100 Tags 3.4 GiB
32b76352de
Commit Graph

40 Commits

Author SHA1 Message Date
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
Trevor Johnson
706fa30af0 Mark BROKEN due to checksum mismatch. I e-mailed the maintainer 
about the problem.
 2004-03-09 15:54:15 +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
Trevor Johnson
06acd13c21 Use LS macro. 2004-01-23 05:28:50 +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
Kris Kennaway
de56683b06 BROKEN: CHecksum mismatch 2003-08-07 08:34:31 +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
Akinori MUSHA
65dac0040a De-pkg-comment. 2003-02-21 11:23:04 +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
7f1f5a6acd Category move: math/spin to devel 
PR:		ports/10396
Submitted by:	Daniel C. Sobral <dcs@newsguy.com>
Approved by:	maintainer
 2002-06-11 19:31:07 +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
David W. Chapman Jr.
61a4488549 Update to 3.4.9 
PR:		31269
Submitted by:	maintainer
 2001-10-19 05:30:27 +00:00
David W. Chapman Jr.
479a523af4 Remove ftp.freesoftware.com from MASTER_SITES of ports since it no longer exists. 
PR:		30497
Submitted by:	Dan Larsson
Approved by:	will
 2001-09-23 19:50:42 +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
Maxim Sobolev
40a33a6070 - Support LOCALBASE properly (in setting path to custom wish script) 
PR:		19470
Submitted by:	KATO Tsuguru <tkato@prontomail.ne.jp>
 2000-06-23 13:44:03 +00:00
Steve Price
e56e18e098 Update to version 3.3.10. 
PR:		18549
Submitted by:	maintainer
 2000-05-29 03:09:13 +00:00
Bill Fumerola
ccf4c430e0 ftp.cdrom.com -> ftp.freesoftware.com, adjusting paths as I go. 2000-05-14 05:40:52 +00:00
Satoshi Asami
1df1a17abc Convert to PORTNAME/PORTVERSION. 2000-04-14 07:20:58 +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
Chris Piazza
b8a18d6b5c xspin333.tcl should be in the PLIST, not 300 
PR:		13620
Submitted by:	Jonathan Hanna <pangolin@home.com>
 1999-09-08 22:44:43 +00:00
Michael Haro
af5f314286 ln -> ${LN} 1999-08-28 01:58:05 +00:00
David E. O'Brien
d99d6e104d Change Id->FreeBSD. 1999-08-25 07:23:21 +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
80e0a134bb Missed this one. 1999-02-12 03:03:40 +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