[flocq] New upstream release. Build for OCaml 4.0.0 and coq 8.3pl4.

[Jerry James]

commit 15042f542c35cac088a6d64de57e916bd6f353f3
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jul 28 14:47:27 2012 -0600

    New upstream release.
    Build for OCaml 4.0.0 and coq 8.3pl4.

 .gitignore |    2 +-
 flocq.spec |   13 ++++++++-----
 sources    |    2 +-
 3 files changed, 10 insertions(+), 7 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 68c86f4..dfe0b72 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/flocq-2.0.0.tar.gz
+/flocq-2.1.0.tar.gz
diff --git a/flocq.spec b/flocq.spec
index 5e3cada..0d5c308 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -2,22 +2,21 @@
 # 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
+%global coqver 8.3pl4
 
 Name:           flocq
-Version:        2.0.0
-Release:        4%{?dist}
+Version:        2.1.0
+Release:        1%{?dist}
 Summary:        Formalization of floating point numbers for Coq
 
 Group:          Applications/Engineering
 License:        LGPLv3+
 URL:            http://flocq.gforge.inria.fr/
-Source0:        https://gforge.inria.fr/frs/download.php/29903/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/30884/%{name}-%{version}.tar.gz
 
 BuildRequires:  coq%{?_isa} = %{coqver}
 Requires:       coq%{?_isa} = %{coqver}
 
-# This must match the corresponding line in the coq spec
 ExclusiveArch: %{ocaml_arches}
 
 %description
@@ -73,6 +72,10 @@ cp -p src/Prop/*.v $RPM_BUILD_ROOT%{flocqdir}/Prop
 %{flocqdir}/Prop/*.v
 
 %changelog
+* Sat Jul 28 2012 Jerry James <loganjerry at gmail.com> - 2.1.0-1
+- New upstream release
+- Build for OCaml 4.0.0 and coq 8.3pl4
+
 * Thu Jul 19 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.0.0-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
 
diff --git a/sources b/sources
index ce7e22b..b9172a0 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-6c50ae197d7cca9d1f5c89adc47d083c  flocq-2.0.0.tar.gz
+34e27a5895e005355826e690ff039053  flocq-2.1.0.tar.gz