Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2017-11-03 12:20:28
Message id: 20171103112029.182A9FBDE@cvs.NetBSD.org

Log Message:
Updated lang/coq to version 8.7.0.

Includes many improvements and bugfixes (none that seem to be breaking
backwards compatibility though), see the CHANGELOG.
For packaging:
- camlp4 support removed, package now uses camlp5 exclusively
- fix for PR pkg/52651

Files:
RevisionActionfile
1.1addpkgsrc/lang/coq/patches/patch-ide_ideutils.ml
1.4modifypkgsrc/lang/coq/patches/patch-Makefile.common
1.28modifypkgsrc/lang/coq/distinfo
1.22modifypkgsrc/lang/coq/PLIST
1.101modifypkgsrc/lang/coq/Makefile