[coq] Rebuild for ocaml-camlp5 6.12.

[Jerry James]

commit 72fecbc4eb764cccb2b58a01abdb397c9f2bbdae
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Thu Nov 6 11:39:39 2014 -0700

    Rebuild for ocaml-camlp5 6.12.

 coq.spec |   32 ++++++++++++++------------------
 1 files changed, 14 insertions(+), 18 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 6fd4d45..29b3828 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
 
 Name:           coq
 Version:        8.4pl5
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -245,12 +245,17 @@ update-desktop-database -q &> /dev/null || :
 update-desktop-database -q &> /dev/null
 mktexlsr &> /dev/null
 
-# Note: we want to keep both coqtop.opt and coqtop.byte because the
-# byte compiled version can be used to compile new version through
-# coqmktop
+%post coqide
+touch --no-create %{_datadir}/mime/packages &> /dev/null || :
+
+%postun coqide
+if [ $1 -eq 0 ]; then
+update-mime-database %{_datadir}/mime &> /dev/null || :
+fi
+
+%posttrans coqide
+update-mime-database %{?fedora:-n} %{_datadir}/mime &> /dev/null || :
 
-# Exclude libcoqrun.a only when it is installed (this appears to be
-# only for the native compile case)
 
 %files
 # DON'T use the doc macro here or else it wipes out all the other documentation installed!
@@ -276,17 +281,6 @@ mktexlsr &> /dev/null
 %{coqdocdir}/CREDITS
 %{coqdocdir}/README
 
-%post coqide
-touch --no-create %{_datadir}/mime/packages &> /dev/null || :
-
-%postun coqide
-if [ $1 -eq 0 ]; then
-update-mime-database %{_datadir}/mime &> /dev/null || :
-fi
-
-%posttrans coqide
-update-mime-database %{?fedora:-n} %{_datadir}/mime &> /dev/null || :
-
 %files coqide
 %doc INSTALL.ide
 %{_bindir}/coqide*
@@ -304,7 +298,6 @@ update-mime-database %{?fedora:-n} %{_datadir}/mime &> /dev/null || :
 %exclude %{coqdocdir}/CHANGES
 %exclude %{coqdocdir}/COMPATIBILITY
 %exclude %{coqdocdir}/CREDITS
-%exclude %{coqdocdir}/LICENSE.doc
 %exclude %{coqdocdir}/README
 
 %files emacs
@@ -316,6 +309,9 @@ update-mime-database %{?fedora:-n} %{_datadir}/mime &> /dev/null || :
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Thu Nov  6 2014 Jerry James <loganjerry at gmail.com> - 8.4pl5-2
+- Rebuild for ocaml-camlp5 6.12
+
 * Thu Oct 30 2014 Jerry James <loganjerry at gmail.com> - 8.4pl5-1
 - New upstream release
 - Drop upstreamed comment patch