CVSROOT: /cvs Module name: ports Changes by: [email protected] 2013/02/07 02:43:15
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-Makefile_build patch-configure
Added files:
math/coq/patches: patch-scripts_coqmktop_ml
Removed files:
math/coq/patches: patch-ide_preferences_ml
patch-ide_utils_okey_ml
Log message:
Update to 8.4pl1 by Daniel Dickman <[email protected]>
OK by Daniel, avsm@, Yozo TODA (maintainer) and jasper@
