johans 2008-04-06 17:40:47 UTC FreeBSD ports repository
Modified files:
math/coq Makefile distinfo pkg-plist
Log:
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Revision Changes Path
1.16 +3 -4 ports/math/coq/Makefile
1.8 +3 -3 ports/math/coq/distinfo
1.8 +1 -0 ports/math/coq/pkg-plist
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
