Synopsis: math/open-axiom port appears broken State-Changed-From-To: feedback->closed State-Changed-By: linimon State-Changed-When: Sun Nov 9 15:17:54 UTC 2008 State-Changed-Why: It appears that this is an upstream problem. http://www.freebsd.org/cgi/query-pr.cgi?pr=128710