Date: Thu, 11 Aug 2005 08:40:11 GMT From: Simon Barner <barner@FreeBSD.org> To: barner@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, barner@FreeBSD.org Subject: Re: ports/84788: New Port: math/proofgeneral Message-ID: <200508110840.j7B8eB9d082326@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: New Port: math/proofgeneral Responsible-Changed-From-To: freebsd-ports-bugs->barner Responsible-Changed-By: barner Responsible-Changed-When: Thu Aug 11 08:39:50 GMT 2005 Responsible-Changed-Why: I'll handle this. http://www.freebsd.org/cgi/query-pr.cgi?pr=84788
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200508110840.j7B8eB9d082326>