CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Mon Apr  9 11:30:14 UTC 2018

Modified Files:
        pkgsrc/doc: CHANGES-2018

Log Message:
doc: Updated lang/coq to 8.7.2


To generate a diff of this commit:
cvs rdiff -u -r1.1717 -r1.1718 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.1717 pkgsrc/doc/CHANGES-2018:1.1718
--- pkgsrc/doc/CHANGES-2018:1.1717      Mon Apr  9 11:26:02 2018
+++ pkgsrc/doc/CHANGES-2018     Mon Apr  9 11:30:14 2018
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.1717 2018/04/09 11:26:02 jaapb Exp $
+$NetBSD: CHANGES-2018,v 1.1718 2018/04/09 11:30:14 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -2336,3 +2336,4 @@ Changes to the packages collection and i
        Updated www/py-h11 to 0.8.0 [adam 2018-04-09]
        Updated fonts/py-fonttools to 3.25.0 [adam 2018-04-09]
        Updated misc/ocaml-opam to 2.0.0_rc [jaapb 2018-04-09]
+       Updated lang/coq to 8.7.2 [jaapb 2018-04-09]