[flocq] New upstream release. Change subpackage from -devel to -source to match gappalib-coq.

[Jerry James]

commit b922f3614399af21e9bc3b01632d59fe84327945
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Dec 12 10:29:44 2011 -0700

    New upstream release.
    Change subpackage from -devel to -source to match gappalib-coq.

 .gitignore |    2 +-
 flocq.spec |   39 ++++++++++++++++++++++-----------------
 sources    |    2 +-
 3 files changed, 24 insertions(+), 19 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 8ee39fb..68c86f4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/flocq-1.4.0.tar.gz
+/flocq-2.0.0.tar.gz
diff --git a/flocq.spec b/flocq.spec
index 092f4af..fe9f3a7 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -4,14 +4,14 @@
 %global flocqdir %{_libdir}/coq/user-contrib/Flocq
 
 Name:           flocq
-Version:        1.4.0
-Release:        3%{?dist}
+Version:        2.0.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/28389/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/29903/%{name}-%{version}.tar.gz
 
 BuildRequires:  coq%{?_isa} = 8.3pl2
 Requires:       coq%{?_isa} = 8.3pl2
@@ -25,13 +25,18 @@ system.  It provides a comprehensive library of theorems on a
 multi-radix multi-precision arithmetic.  It also supports efficient
 numerical computations inside Coq.
 
-%package devel
+%package source
 Summary:        Source Coq files
 Requires:       %{name}%{?_isa} = %{version}-%{release}
 
-%description devel
+# Remove this once F16 reaches EOL.
+Obsoletes:      %{name}-devel < 2.0.0
+Provides:       %{name}-devel = %{version}-%{release}
+
+%description source
 This package contains the source Coq files for flocq.  These files are
-not needed by consuming packages.
+not needed to use flocq.  They are made available for informational
+purposes.
 
 %prep
 %setup -q
@@ -47,6 +52,7 @@ make all html
 make install DESTDIR=$RPM_BUILD_ROOT
 
 # Also install the source files
+cp -p src/*.v $RPM_BUILD_ROOT%{flocqdir}
 cp -p src/Appli/*.v $RPM_BUILD_ROOT%{flocqdir}/Appli
 cp -p src/Calc/*.v $RPM_BUILD_ROOT%{flocqdir}/Calc
 cp -p src/Core/*.v $RPM_BUILD_ROOT%{flocqdir}/Core
@@ -54,23 +60,22 @@ cp -p src/Prop/*.v $RPM_BUILD_ROOT%{flocqdir}/Prop
 
 %files
 %doc AUTHORS COPYING NEWS README html
-%dir %{flocqdir}
-%dir %{flocqdir}/Appli
-%dir %{flocqdir}/Calc
-%dir %{flocqdir}/Core
-%dir %{flocqdir}/Prop
-%{flocqdir}/Appli/*.vo
-%{flocqdir}/Calc/*.vo
-%{flocqdir}/Core/*.vo
-%{flocqdir}/Prop/*.vo
-
-%files devel
+%{flocqdir}
+%exclude %{flocqdir}/*.v
+%exclude %{flocqdir}/*/*.v
+
+%files source
+%{flocqdir}/*.v
 %{flocqdir}/Appli/*.v
 %{flocqdir}/Calc/*.v
 %{flocqdir}/Core/*.v
 %{flocqdir}/Prop/*.v
 
 %changelog
+* 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.
+
 * Fri Oct 28 2011 Jerry James <loganjerry at gmail.com> - 1.4.0-3
 - Fix broken version numbers in BR and Requires
 
diff --git a/sources b/sources
index 0ca87cb..ce7e22b 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-ab05156cbbcbca41c31b6fb1549a6987  flocq-1.4.0.tar.gz
+6c50ae197d7cca9d1f5c89adc47d083c  flocq-2.0.0.tar.gz