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

28 commits

Author SHA1 Message Date
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