Subject: CVS commit: pkgsrc/lang/coq
From: Makoto Fujiwara
Date: 2020-05-24 01:45:45
Message id: 20200523234545.DC846FA8A@cvs.NetBSD.org
Log Message:
(lang/coq) Fix build: Remove no effective SUBST block
Files:
RevisionActionfile
1.133modifypkgsrc/lang/coq/Makefile