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