CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Wed Mar  6 09:28:43 UTC 2019

Modified Files:
        pkgsrc/doc: CHANGES-2019

Log Message:
doc: Updated lang/coq to 8.9.0


To generate a diff of this commit:
cvs rdiff -u -r1.1142 -r1.1143 pkgsrc/doc/CHANGES-2019

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-2019
diff -u pkgsrc/doc/CHANGES-2019:1.1142 pkgsrc/doc/CHANGES-2019:1.1143
--- pkgsrc/doc/CHANGES-2019:1.1142      Wed Mar  6 08:48:49 2019
+++ pkgsrc/doc/CHANGES-2019     Wed Mar  6 09:28:43 2019
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2019,v 1.1142 2019/03/06 08:48:49 adam Exp $
+$NetBSD: CHANGES-2019,v 1.1143 2019/03/06 09:28:43 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2019:
 
@@ -1885,3 +1885,4 @@ Changes to the packages collection and i
        Updated editors/pluma to 1.22.0 [gutteridge 2019-03-06]
        Updated databases/py-peewee to 3.9.0 [adam 2019-03-06]
        Updated net/py-tldextract to 2.2.1 [adam 2019-03-06]
+       Updated lang/coq to 8.9.0 [jaapb 2019-03-06]