kn af864f388f Drop default DISTNAME and WRKDIST values ... bsd.port.mk(5) copes with leading "V" in distnames. OK Yozo TODA (maintainer)		2022-02-13 11:10:56 +00:00
..
patches
pkg	Adapt to non-native architectures; from Yozo TODA (maintainer), thanks!	2022-02-12 22:29:22 +00:00
distinfo	update coq to 8.13.2	2021-12-04 04:33:45 +00:00
Makefile	Drop default DISTNAME and WRKDIST values	2022-02-13 11:10:56 +00:00