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