Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2018-01-10 17:26:53
Message id: 20180110162654.1B48AFBDE@cvs.NetBSD.org
Log Message:
Updated package lang/coq to version 8.7.1.

This is a compatibility release with OCaml 4.06.0. It also contains many
bugfixes, documentation improvements and user message improvements.
Files:
RevisionActionfile
1.104modifypkgsrc/lang/coq/Makefile
1.24modifypkgsrc/lang/coq/PLIST
1.29modifypkgsrc/lang/coq/distinfo
1.3modifypkgsrc/lang/coq/options.mk
1.2removepkgsrc/lang/coq/patches/patch-configure.ml
1.1removepkgsrc/lang/coq/patches/patch-ide_ideutils.ml