Date: Sat, 13 Aug 2005 09:33:20 GMT From: Simon Barner <barner@FreeBSD.org> To: barner@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, barner@FreeBSD.org Subject: Re: ports/84859: New Port: math/isabelle Message-ID: <200508130933.j7D9XKnE048489@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: New Port: math/isabelle Responsible-Changed-From-To: freebsd-ports-bugs->barner Responsible-Changed-By: barner Responsible-Changed-When: Sat Aug 13 09:32:56 GMT 2005 Responsible-Changed-Why: I'll handle this. http://www.freebsd.org/cgi/query-pr.cgi?pr=84859
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200508130933.j7D9XKnE048489>