[gappa/f20] New upstream version.
Jerry James
jjames at fedoraproject.org
Tue Oct 21 17:45:12 UTC 2014
commit 298edae3c3e343c0d20d646816be6b5611c7dd61
Author: Jerry James <jamesjer at betterlinux.com>
Date: Tue Oct 21 11:45:03 2014 -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 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 6b0864f..e59c719 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,12 +1,12 @@
Name: gappa
-Version: 1.1.1
+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
@@ -68,6 +68,9 @@ remake install
%changelog
+* Tue Oct 21 2014 Jerry James <loganjerry at gmail.com> - 1.1.2-1
+- New upstream version
+
* Mon Mar 31 2014 Jerry James <loganjerry at gmail.com> - 1.1.1-1
- New upstream version
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
More information about the scm-commits
mailing list