Synopsis: The version of math/coq is wrong. Responsible-Changed-From-To: freebsd-ports-bugs->johans Responsible-Changed-By: edwin Responsible-Changed-When: Mon Jun 21 09:50:20 UTC 2010 Responsible-Changed-Why: Over to maintainer (via the GNATS Auto Assign Tool) http://www.freebsd.org/cgi/query-pr.cgi?pr=148034