CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Thu Aug  2 12:57:17 UTC 2018

Modified Files:
        pkgsrc/doc: CHANGES-2018

Log Message:
doc: Updated lang/coq to 8.8.1


To generate a diff of this commit:
cvs rdiff -u -r1.3423 -r1.3424 pkgsrc/doc/CHANGES-2018

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-2018
diff -u pkgsrc/doc/CHANGES-2018:1.3423 pkgsrc/doc/CHANGES-2018:1.3424
--- pkgsrc/doc/CHANGES-2018:1.3423      Thu Aug  2 12:28:53 2018
+++ pkgsrc/doc/CHANGES-2018     Thu Aug  2 12:57:17 2018
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.3423 2018/08/02 12:28:53 fhajny Exp $
+$NetBSD: CHANGES-2018,v 1.3424 2018/08/02 12:57:17 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -4852,3 +4852,4 @@ Changes to the packages collection and i
        Updated x11/libdrm to 2.4.93 [wiz 2018-08-02]
        Updated lang/nodejs to 10.8.0 [fhajny 2018-08-02]
        Updated lang/npm to 6.3.0 [fhajny 2018-08-02]
+       Updated lang/coq to 8.8.1 [jaapb 2018-08-02]