CVSROOT: /cvs Module name: ports Changes by: [email protected] 2014/03/25 21:27:26
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-configure patch-test-suite-Makefile
math/coq/pkg : PFRAG.dynlink-native PLIST
Log message:
Update to 8.4pl3; Yozo Toda.
ok sthen@
