kris 2006-03-06 20:30:52 UTC FreeBSD ports repository
Modified files:
math/coq Makefile
Log:
BROKEN: Does not build
Approved by: portmgr (implicit)
Revision Changes Path
1.11 +2 -0 ports/math/coq/Makefile
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
