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)
