diff --git a/z3.spec b/z3.spec index f9c9f4f..64dcedd 100644 --- a/z3.spec +++ b/z3.spec @@ -8,7 +8,7 @@ Name: z3 Version: 4.5.0 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver License: MIT @@ -249,6 +249,9 @@ mv %{buildroot}%{_prefix}/lib/lib%{name}java.so %{buildroot}%{_libdir}/%{name} %{python2_sitearch}/%{name}/ %changelog +* Sat Feb 11 2017 Fedora Release Engineering - 4.5.0-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild + * Tue Nov 8 2016 Jerry James - 4.5.0-1 - New upstream version - All patches except -sse2 have been upstreamed; drop them