CVS: cvs.openbsd.org: ports

[Anil Madhavapeddy]

CVSROOT:        /cvs
Module name:    ports
Changes by:     a...@cvs.openbsd.org    2015/08/30 10:34:41

Modified files:
        math/coq       : Makefile 

Log message:
bump coq REVISION due to OCaml 4.02.3 update

ok jca@, tested by krw@ daniel@ jsg@