[coq] Rebuild for OCaml 4.00.1.

[Jerry James]

commit 06bcb09abd38cd9471ee7d93d352270ae4e1b11b
Author: Jerry James <loganjerry at gmail.com>
Date:   Wed Oct 17 17:40:59 2012 -0600

    Rebuild for OCaml 4.00.1.

 coq.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index a09b569..5be69ce 100644
--- a/coq.spec
+++ b/coq.spec
@@ -24,7 +24,7 @@
 
 Name:           coq
 Version:        8.4
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -303,6 +303,9 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Wed Oct 17 2012 Jerry James <loganjerry at gmail.com> - 8.4-2
+- Rebuild for OCaml 4.00.1
+
 * Tue Aug 21 2012 Jerry James <loganjerry at gmail.com> - 8.4-1
 - New upstream release
 - Drop patch; merged upstream