CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Fri Dec 30 13:23:28 UTC 2016

Modified Files:
        pkgsrc/doc: CHANGES-2016

Log Message:
Updated lang/coq to 8.6


To generate a diff of this commit:
cvs rdiff -u -r1.5169 -r1.5170 pkgsrc/doc/CHANGES-2016

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-2016
diff -u pkgsrc/doc/CHANGES-2016:1.5169 pkgsrc/doc/CHANGES-2016:1.5170
--- pkgsrc/doc/CHANGES-2016:1.5169      Fri Dec 30 12:38:19 2016
+++ pkgsrc/doc/CHANGES-2016     Fri Dec 30 13:23:27 2016
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2016,v 1.5169 2016/12/30 12:38:19 jaapb Exp $
+$NetBSD: CHANGES-2016,v 1.5170 2016/12/30 13:23:27 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2016:
 
@@ -7182,3 +7182,4 @@ Changes to the packages collection and i
        Added textproc/ocaml-uchar version 0.0.1 [jaapb 2016-12-30]
        Updated devel/js_of_ocaml to 2.8.3 [jaapb 2016-12-30]
        Updated lang/camlp5 to 6.17 [jaapb 2016-12-30]
+       Updated lang/coq to 8.6 [jaapb 2016-12-30]