CVSROOT: /cvs Module name: ports Changes by: [email protected] 2013/01/04 04:07:29
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-configure
math/coq/pkg : DESCR PFRAG.native PLIST
Added files:
math/coq/patches: patch-Makefile_build patch-ide_preferences_ml
patch-ide_utils_okey_ml
patch-test-suite-Makefile
math/coq/pkg : PFRAG.dynlink-native PFRAG.shared
Log message:
update to version 8.4
OK
jasper@, sthen@, Yozo Toda (maintainer)
