[flocq] Drop the clever version expression for the coq Requires. It is evaluated before the BRs are install

[Jerry James]

commit f548493911bcffefc7927629ec335e628d9909d8
Author: Jerry James <loganjerry at gmail.com>
Date:   Thu Oct 27 15:52:26 2011 -0600

    Drop the clever version expression for the coq Requires.  It is evaluated
    before the BRs are installed, so coqc isn't available to call.

 flocq.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/flocq.spec b/flocq.spec
index f4a494b..fda2b9d 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -14,7 +14,7 @@ URL:            http://flocq.gforge.inria.fr/
 Source0:        https://gforge.inria.fr/frs/download.php/28389/%{name}-%{version}.tar.gz
 
 BuildRequires:  coq
-Requires:       coq = %(coqc -v | sed -nr "s/.* version ([[:alnum:]\.]+) .*/\1/p")
+Requires:       coq%{?_isa} = 8.3pl2-3
 
 # This must match the corresponding line in the coq spec
 ExclusiveArch: %{ocaml_arches}