Subject: CVS commit: pkgsrc/lang/coq
From: Mark Davies
Date: 2019-09-01 02:51:47
Message id: 20190901005147.3E5B2FBF4@cvs.NetBSD.org
Log Message:
coq: patch to build with ocaml 4.08
Files:
RevisionActionfile
1.125modifypkgsrc/lang/coq/Makefile
1.34modifypkgsrc/lang/coq/distinfo
1.5addpkgsrc/lang/coq/patches/patch-Makefile.build