Date: Mon, 6 Jul 1998 10:32:20 -0700 (PDT) From: Nik Clayton <nik@FreeBSD.ORG> To: pangolin@rogers.wave.ca, nik@FreeBSD.ORG, freebsd-ports@FreeBSD.ORG Subject: Re: ports/4839 Message-ID: <199807061732.KAA18789@freefall.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: open-analyzed State-Changed-By: nik State-Changed-When: Mon Jul 6 10:32:03 PDT 1998 State-Changed-Why: Moved to development/ports/unfiled. 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?199807061732.KAA18789>