[gappa] New upstream version.

[Jerry James]

commit e5278ead5e12a60cdb6aae6b461fc73a41c1918c
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jul 28 21:55:59 2012 -0600

    New upstream version.

 .gitignore |    2 +-
 gappa.spec |    9 ++++++---
 sources    |    2 +-
 3 files changed, 8 insertions(+), 5 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index dc8dc8b..c09bdba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-0.16.0.tar.gz
+/gappa-0.16.1.tar.gz
diff --git a/gappa.spec b/gappa.spec
index afc5fdf..b8cc75a 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
 Name:		gappa
-Version:	0.16.0
-Release:	2%{?dist}
+Version:	0.16.1
+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/30080/gappa-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/31075/gappa-%{version}.tar.gz
 
 BuildRequires:	boost-devel
 BuildRequires:	gmp-devel
@@ -72,6 +72,9 @@ make install DESTDIR=%{buildroot}
 
 
 %changelog
+* Sat Jul 28 2012 Jerry James <loganjerry at gmail.com> - 0.16.1-1
+- New upstream version
+
 * Thu Jul 19 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.16.0-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
 
diff --git a/sources b/sources
index 0fc720e..f136832 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-a49c37c520fd21293de12ad55f3745cd  gappa-0.16.0.tar.gz
+3b7a83ad99491a4bbfa4b09fce8cbafe  gappa-0.16.1.tar.gz