Subject: CVS commit: pkgsrc/lang/coq
From: Thomas Klausner
Date: 2022-06-03 10:21:55
Message id: 20220603082155.A0521FB18@cvs.NetBSD.org
Log Message:
coq: mark as BROKEN because it does not support ocaml 4.14
Files:
RevisionActionfile
1.144modifypkgsrc/lang/coq/Makefile