johans 2008-04-16 22:10:53 UTC FreeBSD ports repository
Modified files:
math/coq Makefile
Log:
- Due to depency updates, camlp5 (fresh port) is now required as well:
Include this dependency and bump portrevision
Revision Changes Path
1.17 +3 -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]"
