[gappa] New upstream version. Drop %defattr.

[Jerry James]

commit 64491edc7dc692b403cfffbb608fb9841b40a36b
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Jun 6 10:37:53 2011 -0600

    New upstream version.
    Drop %defattr.

 .gitignore |    2 +-
 gappa.spec |   17 ++++++++++++-----
 sources    |    2 +-
 3 files changed, 14 insertions(+), 7 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 1ffd23e..2589264 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-gappa-0.14.1.tar.gz
+/gappa-0.15.0.tar.gz
diff --git a/gappa.spec b/gappa.spec
index adbbe7e..70f6b39 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,14 +1,19 @@
 Name:		gappa
-Version:	0.14.1
+Version:	0.15.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/28470/gappa-%{version}.tar.gz
+Source0:	https://gforge.inria.fr/frs/download.php/28594/gappa-%{version}.tar.gz
 
-BuildRequires:	gmp-devel, mpfr-devel, boost-devel, flex, bison, dblatex
+BuildRequires:	boost-devel
+BuildRequires:	gmp-devel
+BuildRequires:	mpfr-devel
+BuildRequires:	bison
+BuildRequires:	dblatex
+BuildRequires:	flex
 
 %description
 Gappa is a tool intended to help verifying and formally prove
@@ -62,12 +67,15 @@ make install DESTDIR=%{buildroot}
 
 
 %files
-%defattr(-,root,root,-)
 %{_bindir}/gappa
 %doc AUTHORS COPYING COPYING.GPL README TODO NEWS doc/gappa.pdf
 
 
 %changelog
+* Mon Jun  6 2011 Jerry James <loganjerry at gmail.com> - 0.15.0-1
+- New upstream version
+- Drop defattr
+
 * Tue Apr 19 2011 Jerry James <loganjerry at gmail.com> - 0.14.1-1
 - New upstream version
 - Drop %%clean section
@@ -102,4 +110,3 @@ make install DESTDIR=%{buildroot}
 
 * Sat Aug  7 2010 David A. Wheeler <dwheeler at dwheeler.com> - 0.13.0-1
 - Initial packaging
-
diff --git a/sources b/sources
index 6577573..a3d8874 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-801f332c9eb309e1468cfc2030e776fb  gappa-0.14.1.tar.gz
+bad157a1adacbe4dd4b95f936376e975  gappa-0.15.0.tar.gz