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.5addpkgsrc/lang/coq/patches/patch-Makefile.build
1.34modifypkgsrc/lang/coq/distinfo
1.125modifypkgsrc/lang/coq/Makefile