Subject: CVS commit: pkgsrc/lang/coq
From: Thomas Klausner
Date: 2025-03-03 10:29:21
Message id: 20250303092921.4AD27FBE1@cvs.NetBSD.org
Log Message:
coq: remove REPLACE_* with no effect
Files:
RevisionActionfile
1.168modifypkgsrc/lang/coq/Makefile