[flocq] Add ExclusiveArch tag equivalent to the one in the coq spec.

[Jerry James]

commit 5a10513722e4f349db0a7c123ce65fd3f15fa5e4
Author: Jerry James <loganjerry at gmail.com>
Date:   Wed Oct 26 21:24:26 2011 -0600

    Add ExclusiveArch tag equivalent to the one in the coq spec.

 flocq.spec |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/flocq.spec b/flocq.spec
index ef66a81..1b03daf 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -16,6 +16,9 @@ Source0:        https://gforge.inria.fr/frs/download.php/28389/%{name}-%{version
 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
+
 %description
 Flocq (Floats for Coq) is a floating-point formalization for the Coq
 system.  It provides a comprehensive library of theorems on a