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 - 2.4.1-14 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + * Wed Jun 17 2015 Fedora Release Engineering - 2.4.1-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild