[pkgsrc/trunk]: pkgsrc/doc Updated lang/coq to 8.5pl1

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/ccafd3167e80
branches:  trunk
changeset: 349208:ccafd3167e80
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Sat Jul 02 10:17:40 2016 +0000

description:
Updated lang/coq to 8.5pl1

diffstat:

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

diffs (14 lines):

diff -r 16ffaeccca42 -r ccafd3167e80 doc/CHANGES-2016
--- a/doc/CHANGES-2016  Sat Jul 02 10:17:18 2016 +0000
+++ b/doc/CHANGES-2016  Sat Jul 02 10:17:40 2016 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2016,v 1.2643 2016/07/02 10:11:24 jaapb Exp $
+$NetBSD: CHANGES-2016,v 1.2644 2016/07/02 10:17:40 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2016:
 
@@ -3859,3 +3859,4 @@
        Updated misc/khard to 0.9.0nb1 [wiz 2016-07-02]
        Updated databases/ocaml-mysql to 1.2.0 [jaapb 2016-07-02]
        Updated textproc/ocaml-csv to 1.5 [jaapb 2016-07-02]
+       Updated lang/coq to 8.5pl1 [jaapb 2016-07-02]