[gappalib-coq] Rebuild for coq 8.4.

[Jerry James]

commit 428086ef45bb38e9730a98f3100d225350e0654b
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue Aug 21 16:05:15 2012 -0600

    Rebuild for coq 8.4.

 gappalib-coq.spec |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index bf0b765..663cd80 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -7,11 +7,11 @@
 # to debuginfo generation.
 %global debug_package %{nil}
 %global gappadir %{_libdir}/coq/user-contrib/Gappa
-%global coqver 8.3pl4
+%global coqver 8.4
 
 Name:           gappalib-coq
 Version:        0.18.0
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Coq support library for gappa
 
 Group:          Applications/Engineering
@@ -79,6 +79,9 @@ strip $RPM_BUILD_ROOT%{gappadir}/gappatac.cmxs
 %{gappadir}/*.v
 
 %changelog
+* Tue Aug 21 2012 Jerry James <loganjerry at gmail.com> - 0.18.0-4
+- Rebuild for coq 8.4
+
 * Sat Jul 28 2012 Jerry James <loganjerry at gmail.com> - 0.18.0-3
 - Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1