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
