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
