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
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
