CVS: cvs.openbsd.org: ports

[Nigel Taylor]

CVSROOT:        /cvs
Module name:    ports
Changes by:     ni...@cvs.openbsd.org   2013/02/07 15:03:36

Modified files:
        math/coq       : Makefile 

Log message:
Add missing build dependency findlib
Ok sthen@ jasper@