[gappa] New upstream version.
Jerry James
jjames at fedoraproject.org
Mon Sep 19 19:43:51 UTC 2011
commit 863b04df27246b6a096736ae85818f3f97fd24ff
Author: Jerry James <loganjerry at gmail.com>
Date: Mon Sep 19 13:43:24 2011 -0600
New upstream version.
.gitignore | 2 +-
gappa.spec | 7 +++++--
sources | 2 +-
3 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 2589264..fb71738 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/gappa-0.15.0.tar.gz
+/gappa-0.15.1.tar.gz
diff --git a/gappa.spec b/gappa.spec
index 70f6b39..8991419 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
Name: gappa
-Version: 0.15.0
+Version: 0.15.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/28594/gappa-%{version}.tar.gz
+Source0: https://gforge.inria.fr/frs/download.php/29004/gappa-%{version}.tar.gz
BuildRequires: boost-devel
BuildRequires: gmp-devel
@@ -72,6 +72,9 @@ make install DESTDIR=%{buildroot}
%changelog
+* Mon Sep 19 2011 Jerry James <loganjerry at gmail.com> - 0.15.1-1
+- New upstream version
+
* Mon Jun 6 2011 Jerry James <loganjerry at gmail.com> - 0.15.0-1
- New upstream version
- Drop defattr
diff --git a/sources b/sources
index a3d8874..0c4d613 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-bad157a1adacbe4dd4b95f936376e975 gappa-0.15.0.tar.gz
+28ceca7dd6ebdc0ff1785fe035e2f90c gappa-0.15.1.tar.gz
More information about the scm-commits
mailing list