[coq] Remove ocaml_arches macro (RHBZ#1087794).

[Richard W.M. Jones]

commit 07e5156cc5d2ab02d548500b10cf3dad0a963bd5
Author: Richard W.M. Jones <rjones at redhat.com>
Date:   Tue Apr 15 12:56:00 2014 +0100

    Remove ocaml_arches macro (RHBZ#1087794).

 coq.spec |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 71ab232..e89cfcf 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
 
 Name:           coq
 Version:        8.4pl3
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Proof management system
 
 Group:          Applications/Engineering
@@ -61,8 +61,6 @@ Requires:       csdp-tools
 Requires(posttrans): tex(tex)
 Requires(postun): tex(tex)
 
-ExclusiveArch: %{ocaml_arches}
-
 %description
 Coq is a formal proof management system. It allows for the development
 of theorems through first order logic that are mechanically checked by
@@ -303,6 +301,9 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Tue Apr 15 2014 Richard W.M. Jones <rjones at redhat.com> - 8.4pl3-3
+- Remove ocaml_arches macro (RHBZ#1087794).
+
 * Thu Jan 23 2014 Jerry James <loganjerry at gmail.com> - 8.4pl3-2
 - Rebuild with fixed hevea package to get good HTML docs
 - Hevea is now available on all architectures that support ocaml