CVSROOT: /cvs Module name: ports Changes by: k...@cvs.openbsd.org 2022/02/13 04:10:56
Modified files: math/coq : Makefile Log message: Drop default DISTNAME and WRKDIST values bsd.port.mk(5) copes with leading "V" in distnames. OK Yozo TODA (maintainer)