[flocq] Coq is now available on all ocaml_arches, so change to match.

[Jerry James]

commit 7fa92323d048aac3c0e5ef85582342898ba6fb84
Author: Jerry James <loganjerry at gmail.com>
Date:   Thu Oct 27 14:35:32 2011 -0600

    Coq is now available on all ocaml_arches, so change to match.

 flocq.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/flocq.spec b/flocq.spec
index 1b03daf..f4a494b 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -17,7 +17,7 @@ BuildRequires:  coq
 Requires:       coq = %(coqc -v | sed -nr "s/.* version ([[:alnum:]\.]+) .*/\1/p")
 
 # This must match the corresponding line in the coq spec
-ExclusiveArch: alpha armv4l %{ix86} ia64 x86_64 ppc sparc sparcv9
+ExclusiveArch: %{ocaml_arches}
 
 %description
 Flocq (Floats for Coq) is a floating-point formalization for the Coq