vs 2005-12-05 09:49:23 UTC FreeBSD ports repository Modified files: math/coq Makefile Log: Bump PORTREVISION to regenerate the package with the newly enabled IDE on the cluster Suggested by: kris Revision Changes Path 1.9 +1 -0 ports/math/coq/Makefile