CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Fri Jan 24 15:55:13 UTC 2020

Modified Files:
        pkgsrc/doc: CHANGES-2020

Log Message:
doc: Updated lang/coq to 8.10.2


To generate a diff of this commit:
cvs rdiff -u -r1.755 -r1.756 pkgsrc/doc/CHANGES-2020

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-2020
diff -u pkgsrc/doc/CHANGES-2020:1.755 pkgsrc/doc/CHANGES-2020:1.756
--- pkgsrc/doc/CHANGES-2020:1.755       Fri Jan 24 14:22:04 2020
+++ pkgsrc/doc/CHANGES-2020     Fri Jan 24 15:55:13 2020
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2020,v 1.755 2020/01/24 14:22:04 khorben Exp $
+$NetBSD: CHANGES-2020,v 1.756 2020/01/24 15:55:13 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2020:
 
@@ -898,3 +898,4 @@ Changes to the packages collection and i
        Added games/hengband version 1.6.2 [pho 2020-01-24]
        Added x11/ocaml-lablgtk3 version 3.0beta8 [jaapb 2020-01-24]
        Updated graphics/deforaos-camera to 0.3.0 [khorben 2020-01-24]
+       Updated lang/coq to 8.10.2 [jaapb 2020-01-24]