[gappa] New upstream version. Trim BRs now that tex(latex) Requires more packages.

[Jerry James]

commit f8d57805f9a2ba1c6d837261f1259252ed057380
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue Feb 19 11:03:50 2013 -0700

    New upstream version.
    Trim BRs now that tex(latex) Requires more packages.

 .gitignore |    2 +-
 gappa.spec |   20 ++++++++++++--------
 sources    |    2 +-
 3 files changed, 14 insertions(+), 10 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index f8e535c..76fb7f4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-0.16.3.tar.gz
+/gappa-0.16.5.tar.gz
diff --git a/gappa.spec b/gappa.spec
index 25d6e5c..39695ce 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
 Name:		gappa
-Version:	0.16.3
-Release:	2%{?dist}
+Version:	0.16.5
+Release:	1%{?dist}
 Summary:	Prove programs with floating-point or fixed-point arithmetic
 
 Group:		Applications/Productivity
 License:	GPLv2 or CeCILL
 URL:		http://gappa.gforge.inria.fr/
-Source0:	https://gforge.inria.fr/frs/download.php/31927/%{name}-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/32105/%{name}-%{version}.tar.gz
 # Adapt to dblatex 0.3.4
 Patch0:		%{name}-dblatex.patch
 
@@ -23,14 +23,9 @@ BuildRequires:	tex-rsfs
 BuildRequires:	tex-symbol
 BuildRequires:	tex-times
 BuildRequires:	tex-zapfding
-BuildRequires:	tex(appendix.sty)
-BuildRequires:	tex(bibtopic.sty)
-BuildRequires:	tex(changebar.sty)
 BuildRequires:	tex(mathrsfs.sty)
 BuildRequires:	tex(multirow.sty)
-BuildRequires:	tex(overpic.sty)
 BuildRequires:	tex(pdfpages.sty)
-BuildRequires:	tex(subfigure.sty)
 
 %description
 Gappa is a tool intended to help verifying and formally prove
@@ -58,6 +53,11 @@ iconv -f latin1 -t utf8 COPYING > COPYING.UTF8 && \
 touch -r COPYING COPYING.UTF8 && \
 mv COPYING.UTF8 COPYING
 
+# Fix the NEWS (leads to a dblatex crash)
+sed -i.orig 's/0\.16\.5;/0.16.5:/' NEWS
+touch -r NEWS.orig NEWS
+rm -f NEWS.orig
+
 %build
 %configure
 make %{?_smp_mflags}
@@ -87,6 +87,10 @@ make install DESTDIR=%{buildroot}
 
 
 %changelog
+* Tue Feb 19 2013 Jerry James <loganjerry at gmail.com> - 0.16.5-1
+- New upstream version
+- Trim BRs now that tex(latex) Requires more packages
+
 * Thu Feb 14 2013 Jerry James <loganjerry at gmail.com> - 0.16.3-2
 - Add -dblatex patch to fix FTBFS
 
diff --git a/sources b/sources
index 5208862..e3d2a39 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-88ead216c42be15f14ea90ad704e62cc  gappa-0.16.3.tar.gz
+3b8a8feeee0129a7efb00fd01ccf57bb  gappa-0.16.5.tar.gz