Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2019-03-06 10:28:23
Message id: 20190306092823.82500FB16@cvs.NetBSD.org
Log Message:
Updated lang/coq to version 8.9.0.

Many improvements and fixes, but none that appear to break compatibility.
For more details see the CHANGES file.
Files:
RevisionActionfile
1.118modifypkgsrc/lang/coq/Makefile
1.29modifypkgsrc/lang/coq/PLIST
1.32modifypkgsrc/lang/coq/distinfo
1.5modifypkgsrc/lang/coq/options.mk
1.5modifypkgsrc/lang/coq/patches/patch-Makefile.common