[gappa] New upstream version.

[Jerry James]

commit e5301a2a6cd96936d45b8f3d297f188c7555cfe5
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Mon Jan 7 12:08:39 2013 -0700

    New upstream version.

 .gitignore |    2 +-
 gappa.spec |    7 +++++--
 sources    |    2 +-
 3 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index f18fdc0..f8e535c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-0.16.2.tar.gz
+/gappa-0.16.3.tar.gz
diff --git a/gappa.spec b/gappa.spec
index f13b643..c170f3c 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
 Name:		gappa
-Version:	0.16.2
+Version:	0.16.3
 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/31912/%{name}-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/31927/%{name}-%{version}.tar.gz
 
 BuildRequires:	boost-devel
 BuildRequires:	gmp-devel
@@ -84,6 +84,9 @@ make install DESTDIR=%{buildroot}
 
 
 %changelog
+* Mon Jan  7 2013 Jerry James <loganjerry at gmail.com> - 0.16.3-1
+- New upstream version
+
 * Wed Dec 26 2012 Jerry James <loganjerry at gmail.com> - 0.16.2-1
 - New upstream version
 - New BRs due to TeXLive 2012
diff --git a/sources b/sources
index b883fc2..5208862 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-79f54f068b592fb8d0f28dca61e81184  gappa-0.16.2.tar.gz
+88ead216c42be15f14ea90ad704e62cc  gappa-0.16.3.tar.gz