[gappa] New upstream version. Fix license handling.

[Jerry James]

commit 568deaae7d361dc2046a679dd9edf7a24ef9f4e8
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue Oct 21 10:50:40 2014 -0600

    New upstream version.
    Fix license handling.

 .gitignore |    2 +-
 gappa.spec |   13 +++++++++----
 sources    |    2 +-
 3 files changed, 11 insertions(+), 6 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index b66ef71..dbe3e6d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-1.1.1.tar.gz
+/gappa-1.1.2.tar.gz
diff --git a/gappa.spec b/gappa.spec
index 84e8e61..f483aa4 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
 Name:		gappa
-Version:	1.1.1
-Release:	4%{?dist}
+Version:	1.1.2
+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/33486/%{name}-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/34154/%{name}-%{version}.tar.gz
 
 BuildRequires:	boost-devel
 BuildRequires:	gmp-devel
@@ -64,10 +64,15 @@ remake install
 
 %files
 %{_bindir}/gappa
-%doc AUTHORS COPYING COPYING.GPL README NEWS doc/gappa.pdf
+%doc AUTHORS README NEWS doc/gappa.pdf
+%license COPYING COPYING.GPL
 
 
 %changelog
+* Tue Oct 21 2014 Jerry James <loganjerry at gmail.com> - 1.1.2-1
+- New upstream version
+- Fix license handling
+
 * Sat Aug 16 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 1.1.1-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
 
diff --git a/sources b/sources
index b1f788b..9446d7d 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-de6347047f140b9d2425fbc91df82899  gappa-1.1.1.tar.gz
+7c1d20e1b5c1fdccdbb2d0389ceca3b0  gappa-1.1.2.tar.gz