vs 2005-12-07 15:59:14 UTC FreeBSD ports repository
Modified files:
math/coq Makefile distinfo
Log:
Unbreak: Add vendor-patch for ocaml 3.09
Revision Changes Path
1.10 +2 -0 ports/math/coq/Makefile
1.4 +3 -0 ports/math/coq/distinfo
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
