Date: Fri, 11 Dec 1998 18:07:43 -0800 (PST) From: "Justin M. Seger" <jseger> To: pangolin@rogers.wave.ca, jseger, freebsd-ports Subject: Re: ports/4839 Message-ID: <199812120207.SAA29961@hub.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: New port: spin - Verification system for asynchronous concurrent systems. State-Changed-From-To: analyzed-closed State-Changed-By: jseger State-Changed-When: Fri Dec 11 18:06:51 PST 1998 State-Changed-Why: This port is for an out-od-date version of spin. Please submit an updated version. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199812120207.SAA29961>