CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]   2013/02/07 05:16:08


Modified files:
        math/coq       : Makefile 

Log message:
actually define V, so that we have a valid master site path

Reply via email to