From d9be0c2312ca1dfa9f81de97e0caf4edfde6705c Mon Sep 17 00:00:00 2001
From: Kalev Lember <kalevlember@gmail.com>
Date: May 02 2015 11:15:50 +0000
Subject: Rebuilt for GCC 5 C++11 ABI change


---

diff --git a/cvc3.spec b/cvc3.spec
index 2d620e3..c6829e2 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -1,6 +1,6 @@
 Name:           cvc3
 Version:        2.4.1
-Release:        11%{?dist}
+Release:        12%{?dist}
 Summary:        Validity checker of many-sorted first-order formulas with theories
 
 License:        BSD and MIT
@@ -219,6 +219,9 @@ LD_LIBRARY_PATH=`pwd`/lib make regress4
 %{_xemacs_sitelispdir}/*.el
 
 %changelog
+* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 2.4.1-12
+- Rebuilt for GCC 5 C++11 ABI change
+
 * Thu Feb 12 2015 Jerry James <loganjerry@gmail.com> - 2.4.1-11
 - Use license macro
 - Note bundled jquery