OpenBSD/ports ryGP6hDlang/compcert Makefile

   Remove BROKEN, math/coq has been updated

   ok daniel@ (maintainer)
VersionDeltaFile
1.4+2-4lang/compcert/Makefile
+2-41 files

UnifiedSplitRaw