CVS: cvs.openbsd.org: ports

[Jeremie Courreges-Anglas]

CVSROOT:        /cvs
Module name:    ports
Changes by:     j...@cvs.openbsd.org    2019/03/16 12:33:15

Modified files:
        lang/compcert  : Makefile 

Log message:
Remove BROKEN, math/coq has been updated

ok daniel@ (maintainer)