Date: Fri, 17 Mar 2006 10:58:36 GMT From: Volker Stolz <vs@FreeBSD.org> To: vs@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, vs@FreeBSD.org Subject: Re: ports/94242: [PATCH] math/coq: fix build, update to 8.0pl3 Message-ID: <200603171058.k2HAwaAI056959@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: [PATCH] math/coq: fix build, update to 8.0pl3 Responsible-Changed-From-To: freebsd-ports-bugs->vs Responsible-Changed-By: vs Responsible-Changed-When: Fri Mar 17 10:58:28 UTC 2006 Responsible-Changed-Why: Grab. http://www.freebsd.org/cgi/query-pr.cgi?pr=94242
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200603171058.k2HAwaAI056959>