Module name: ports
Changes by: daniel@cvs.openbsd.org 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@