PR/52651 CVS commit: pkgsrc/lang/coq

["Jaap Boender" <jaapb%netbsd.org@localhost>]

The following reply was made to PR pkg/52651; it has been noted by GNATS.

From: "Jaap Boender" <jaapb%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/52651 CVS commit: pkgsrc/lang/coq
Date: Fri, 3 Nov 2017 11:20:29 +0000

 Module Name:	pkgsrc
 Committed By:	jaapb
 Date:		Fri Nov  3 11:20:28 UTC 2017
 
 Modified Files:
 	pkgsrc/lang/coq: Makefile PLIST distinfo
 	pkgsrc/lang/coq/patches: patch-Makefile.common
 Added Files:
 	pkgsrc/lang/coq/patches: patch-ide_ideutils.ml
 
 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
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.100 -r1.101 pkgsrc/lang/coq/Makefile
 cvs rdiff -u -r1.21 -r1.22 pkgsrc/lang/coq/PLIST
 cvs rdiff -u -r1.27 -r1.28 pkgsrc/lang/coq/distinfo
 cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/coq/patches/patch-Makefile.common
 cvs rdiff -u -r0 -r1.1 pkgsrc/lang/coq/patches/patch-ide_ideutils.ml
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.