tobez 2004-11-29 09:34:20 UTC FreeBSD ports repository Modified files: math/coq Makefile Log: Mark broken on ia64 and amd64. PR: 74502 Submitted by: maintainer Revision Changes Path 1.3 +4 -0 ports/math/coq/Makefile