kalev pushed to gappa (master). "Rebuilt for GCC 5 C++11 ABI change"
notifications at fedoraproject.org
notifications at fedoraproject.org
Sat May 2 12:11:40 UTC 2015
>From 20e08131fd2a6234379a3abdce23d54680cd2e26 Mon Sep 17 00:00:00 2001
From: Kalev Lember <kalevlember at gmail.com>
Date: Sat, 2 May 2015 13:49:27 +0200
Subject: Rebuilt for GCC 5 C++11 ABI change
diff --git a/gappa.spec b/gappa.spec
index 94b7268..a17261e 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,6 +1,6 @@
Name: gappa
Version: 1.1.2
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Prove programs with floating-point or fixed-point arithmetic
Group: Applications/Productivity
@@ -69,6 +69,9 @@ remake install
%changelog
+* Sat May 02 2015 Kalev Lember <kalevlember at gmail.com> - 1.1.2-3
+- Rebuilt for GCC 5 C++11 ABI change
+
* Tue Jan 27 2015 Petr Machata <pmachata at redhat.com> - 1.1.2-2
- Rebuild for boost 1.57.0
--
cgit v0.10.2
http://pkgs.fedoraproject.org/cgit/gappa.git/commit/?h=master&id=20e08131fd2a6234379a3abdce23d54680cd2e26
More information about the scm-commits
mailing list