pav 2006-03-16 15:31:23 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo pkg-plist
Log:
- Update to 8.0pl3
PR: ports/93954
Submitted by: Johan van Selst <[EMAIL PROTECTED]>
Revision Changes Path
1.12 +6 -8 ports/math/coq/Makefile
1.5 +6 -6 ports/math/coq/distinfo
1.5 +3 -6 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]"
