CVSROOT: /cvs Module name: ports Changes by: [email protected] 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)
