From 6119c9d14156f4e22f1828612bc99d2fa0c19787 Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Feb 03 2016 18:22:03 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild


---

diff --git a/cvc3.spec b/cvc3.spec
index 1b3682e..4075f12 100644
--- a/cvc3.spec
+++ b/cvc3.spec
@@ -1,6 +1,6 @@
 Name:           cvc3
 Version:        2.4.1
-Release:        13%{?dist}
+Release:        14%{?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 Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.1-14
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
 * 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