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 at stack.nl => johans@ (via the GNATS Auto Assign Tool) http://www.freebsd.org/cgi/query-pr.cgi?pr=121879