johans 2011-04-25 17:48:54 UTC FreeBSD ports repository
Modified files:
math/coq Makefile distinfo
Log:
Update coq to 8.3.2
Revision Changes Path
1.29 +4 -3 ports/math/coq/Makefile
1.13 +2 -2 ports/math/coq/distinfo
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
