Subject: CVS commit: pkgsrc/devel/why3
From: Antoine Reilles
Date: 2022-10-16 12:41:09
Message id: 20221016104109.7E944FA90@cvs.NetBSD.org
Log Message:
Add missing dependency: coq
Files:
RevisionActionfile
1.4modifypkgsrc/devel/why3/Makefile