CVS: cvs.openbsd.org: ports

[Christopher Zimmermann]

CVSROOT:        /cvs
Module name:    ports
Changes by:     chr...@cvs.openbsd.org  2014/09/10 02:36:18

Modified files:
        math/coq       : Makefile 

Log message:
Add missing BUILD_DEPENDS/lang/ocaml-camlp4 to math/coq
noticed by landry@