CVSROOT: /cvs Module name: ports Changes by: [email protected] 2014/08/27 03:44:59
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-test-suite-Makefile
Added files:
math/coq/patches: patch-kernel_univ_ml
Log message:
Update to 8.4pl4. Compilation problem with ocaml 4.02 noted by chrisz@;
fix taken from coq trunk.
ok Yozo Toda (MAINTAINER) some time ago.
ok chrisz@
