Date: Mon, 19 Oct 2009 08:39:48 GMT From: miwi@FreeBSD.org To: miwi@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, miwi@FreeBSD.org Subject: Re: ports/139738: [MAINTAINER] devel/uppaal: update to 4.0.10 Message-ID: <200910190839.n9J8dmR1033535@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: [MAINTAINER] devel/uppaal: update to 4.0.10 Responsible-Changed-From-To: freebsd-ports-bugs->miwi Responsible-Changed-By: miwi Responsible-Changed-When: Mon Oct 19 08:39:48 UTC 2009 Responsible-Changed-Why: I'll take it. http://www.freebsd.org/cgi/query-pr.cgi?pr=139738
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200910190839.n9J8dmR1033535>