diff --git a/z3.spec b/z3.spec index 9cde9a2..e197c84 100644 --- a/z3.spec +++ b/z3.spec @@ -4,7 +4,7 @@ Name: z3 Version: 4.8.14 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver License: MIT @@ -229,6 +229,9 @@ cd - %{python3_sitelib}/%{name}/ %changelog +* Sat Jan 22 2022 Fedora Release Engineering - 4.8.14-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild + * Fri Dec 24 2021 Jerry James - 4.8.14-1 - Version 4.8.14 - Conditionalize the %%check script