Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 13 Apr 2007 08:48:38 GMT
From:      Edwin Groothuis <edwin@FreeBSD.org>
To:        timbob@bigpond.com, edwin@mavetju.org, edwin@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org
Subject:   Re: ports/111524: [patch] devel/uppaal
Message-ID:  <200704130848.l3D8mcRp063560@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
Synopsis: [patch] devel/uppaal

State-Changed-From-To: feedback->closed
State-Changed-By: edwin
State-Changed-When: Fri Apr 13 08:48:28 UTC 2007
State-Changed-Why: 
Commited!

http://www.freebsd.org/cgi/query-pr.cgi?pr=111524



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200704130848.l3D8mcRp063560>