CVS: cvs.openbsd.org: ports

[Peter Hessler]

CVSROOT:        /cvs
Module name:    ports
Changes by:     phess...@cvs.openbsd.org        2023/01/18 11:14:33

Modified files:
        math/coq       : Makefile 

Log message:
sprinkle USE_NOEXECONLY to not segfault while building