[gappa] New upstream version.

[Jerry James]

commit af529dd913d0d21540288043b1d06d7db44c9a42
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Jan 9 10:52:59 2012 -0700

    New upstream version.

 .gitignore |    2 +-
 gappa.spec |    9 ++++++---
 sources    |    2 +-
 3 files changed, 8 insertions(+), 5 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index fb71738..dc8dc8b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-0.15.1.tar.gz
+/gappa-0.16.0.tar.gz
diff --git a/gappa.spec b/gappa.spec
index c7440f0..a9bce05 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
 Name:		gappa
-Version:	0.15.1
-Release:	2%{?dist}
+Version:	0.16.0
+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/29004/gappa-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/30080/gappa-%{version}.tar.gz
 
 BuildRequires:	boost-devel
 BuildRequires:	gmp-devel
@@ -72,6 +72,9 @@ make install DESTDIR=%{buildroot}
 
 
 %changelog
+* Mon Jan  9 2012 Jerry James <loganjerry at gmail.com> - 0.16.0-1
+- New upstream version
+
 * Sat Jan  7 2012 Jerry James <loganjerry at gmail.com> - 0.15.1-2
 - Rebuild for GCC 4.7
 
diff --git a/sources b/sources
index 0c4d613..0fc720e 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-28ceca7dd6ebdc0ff1785fe035e2f90c  gappa-0.15.1.tar.gz
+a49c37c520fd21293de12ad55f3745cd  gappa-0.16.0.tar.gz