[pkgsrc/trunk]: pkgsrc/doc Updated lang/coq to 8.6

[jaapb <jaapb%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/cf6337406aa0
branches:  trunk
changeset: 356403:cf6337406aa0
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Fri Dec 30 13:23:27 2016 +0000

description:
Updated lang/coq to 8.6

diffstat:

 doc/CHANGES-2016 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r ab02022cd4ae -r cf6337406aa0 doc/CHANGES-2016
--- a/doc/CHANGES-2016  Fri Dec 30 13:23:06 2016 +0000
+++ b/doc/CHANGES-2016  Fri Dec 30 13:23:27 2016 +0000
@@ -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 @@
        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]