Date: Wed, 19 Mar 2008 20:30:07 GMT From: edwin@FreeBSD.org To: edwin@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, johans@FreeBSD.org Subject: Re: ports/121879: math/coq doesn't build Message-ID: <200803192030.m2JKU7OB038661@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: math/coq doesn't build Responsible-Changed-From-To: freebsd-ports-bugs->johans Responsible-Changed-By: edwin Responsible-Changed-When: Wed Mar 19 20:30:07 UTC 2008 Responsible-Changed-Why: johans@stack.nl => johans@ (via the GNATS Auto Assign Tool) http://www.freebsd.org/cgi/query-pr.cgi?pr=121879
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200803192030.m2JKU7OB038661>