[flocq] Rebuild for coq 8.3pl3.

[Jerry James]

commit affbd852e4962affc364d053ba76b39dd1ce986d
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Dec 27 12:49:39 2011 -0700

    Rebuild for coq 8.3pl3.

 flocq.spec |   10 +++++++---
 1 files changed, 7 insertions(+), 3 deletions(-)
---
diff --git a/flocq.spec b/flocq.spec
index fe9f3a7..f421080 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -2,10 +2,11 @@
 # location, so we build it as an arch-specific package.
 %global debug_package %{nil}
 %global flocqdir %{_libdir}/coq/user-contrib/Flocq
+%global coqver 8.3pl3
 
 Name:           flocq
 Version:        2.0.0
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Formalization of floating point numbers for Coq
 
 Group:          Applications/Engineering
@@ -13,8 +14,8 @@ License:        LGPLv3+
 URL:            http://flocq.gforge.inria.fr/
 Source0:        https://gforge.inria.fr/frs/download.php/29903/%{name}-%{version}.tar.gz
 
-BuildRequires:  coq%{?_isa} = 8.3pl2
-Requires:       coq%{?_isa} = 8.3pl2
+BuildRequires:  coq%{?_isa} = %{coqver}
+Requires:       coq%{?_isa} = %{coqver}
 
 # This must match the corresponding line in the coq spec
 ExclusiveArch: %{ocaml_arches}
@@ -72,6 +73,9 @@ cp -p src/Prop/*.v $RPM_BUILD_ROOT%{flocqdir}/Prop
 %{flocqdir}/Prop/*.v
 
 %changelog
+* Tue Dec 27 2011 Jerry James <loganjerry at gmail.com> - 2.0.0-2
+- Rebuild for coq 8.3pl3
+
 * Mon Dec 12 2011 Jerry James <loganjerry at gmail.com> - 2.0.0-1
 - New upstream release
 - Change subpackage from -devel to -source to match gappalib-coq.