linimon 2011-11-11 02:53:39 UTC FreeBSD ports repository Modified files: math/coq Makefile Log: Mark as broken on powerpc: fails to link. Hat: portmgr Feature safe: yes Revision Changes Path 1.31 +4 -0 ports/math/coq/Makefile