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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/bcd0394c91dc
branches:  trunk
changeset: 610555:bcd0394c91dc
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Mon Oct 29 11:33:39 2012 +0000

description:
Updated lang/coq to 8.4

diffstat:

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

diffs (14 lines):

diff -r b6472437bc60 -r bcd0394c91dc doc/CHANGES-2012
--- a/doc/CHANGES-2012  Mon Oct 29 11:33:17 2012 +0000
+++ b/doc/CHANGES-2012  Mon Oct 29 11:33:39 2012 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2012,v 1.3448 2012/10/29 08:06:03 asau Exp $
+$NetBSD: CHANGES-2012,v 1.3449 2012/10/29 11:33:39 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2012:
 
@@ -5284,3 +5284,4 @@
        Updated geography/viking to 1.3.2.1nb5 [gdt 2012-10-29]
        Updated lang/squeak-vm to 4.10.2.2614 [asau 2012-10-29]
        Updated lang/squeak to 4.3 [asau 2012-10-29]
+       Updated lang/coq to 8.4 [jaapb 2012-10-29]