CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Wed Jan 10 16:27:05 UTC 2018

Modified Files:
        pkgsrc/doc: CHANGES-2018

Log Message:
doc: Updated lang/coq to 8.7.1


To generate a diff of this commit:
cvs rdiff -u -r1.162 -r1.163 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.162 pkgsrc/doc/CHANGES-2018:1.163
--- pkgsrc/doc/CHANGES-2018:1.162       Wed Jan 10 16:24:25 2018
+++ pkgsrc/doc/CHANGES-2018     Wed Jan 10 16:27:05 2018
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.162 2018/01/10 16:24:25 jaapb Exp $
+$NetBSD: CHANGES-2018,v 1.163 2018/01/10 16:27:05 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -232,3 +232,4 @@ Changes to the packages collection and i
        Updated devel/pcre-ocaml to 7.3.4nb1 [jaapb 2018-01-10]
        Updated lang/camlp4 to 4.06+1 [jaapb 2018-01-10]
        Updated lang/camlp5 to 7.03 [jaapb 2018-01-10]
+       Updated lang/coq to 8.7.1 [jaapb 2018-01-10]