CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Fri Nov  3 11:21:58 UTC 2017

Modified Files:
        pkgsrc/doc: CHANGES-2017

Log Message:
doc: Updated lang/coq to 8.7.0


To generate a diff of this commit:
cvs rdiff -u -r1.4710 -r1.4711 pkgsrc/doc/CHANGES-2017

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/doc/CHANGES-2017
diff -u pkgsrc/doc/CHANGES-2017:1.4710 pkgsrc/doc/CHANGES-2017:1.4711
--- pkgsrc/doc/CHANGES-2017:1.4710      Fri Nov  3 10:39:29 2017
+++ pkgsrc/doc/CHANGES-2017     Fri Nov  3 11:21:58 2017
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2017,v 1.4710 2017/11/03 10:39:29 adam Exp $
+$NetBSD: CHANGES-2017,v 1.4711 2017/11/03 11:21:58 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2017:
 
@@ -6797,3 +6797,4 @@ Changes to the packages collection and i
        Updated www/wordpress to 4.8.3 [morr 2017-11-03]
        Updated security/py-cryptography_vectors to 2.1.3 [adam 2017-11-03]
        Updated security/py-cryptography to 2.1.3 [adam 2017-11-03]
+       Updated lang/coq to 8.7.0 [jaapb 2017-11-03]