CVSROOT: /cvs Module name: ports Changes by: na...@cvs.openbsd.org 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
CVSROOT: /cvs Module name: ports Changes by: na...@cvs.openbsd.org 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