johans 2010-06-25 06:53:04 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo
Log:
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation
PR: ports/148034
Submitted by: Jacques Garrigue <[email protected]>
Feature safe: yes
Revision Changes Path
1.24 +16 -17 ports/math/coq/Makefile
1.10 +3 -3 ports/math/coq/distinfo
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
