From 4f9df459d6c4af73c920121414ee55e3ede8d8c7 Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Jun 17 2015 03:35:02 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild


---

diff --git a/cvc3.spec b/cvc3.spec
index c6829e2..1b3682e 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -1,6 +1,6 @@
 Name:           cvc3
 Version:        2.4.1
-Release:        12%{?dist}
+Release:        13%{?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
+* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.1-13
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
 * Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 2.4.1-12
 - Rebuilt for GCC 5 C++11 ABI change