diff --git a/z3.spec b/z3.spec index 0068d0c..1fdd413 100644 --- a/z3.spec +++ b/z3.spec @@ -1,6 +1,6 @@ Name: z3 Version: 4.8.10 -Release: 2%{?dist} +Release: 3%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver License: MIT @@ -231,6 +231,9 @@ help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name} %{python3_sitelib}/%{name}/ %changelog +* Mon Mar 1 19:41:16 GMT 2021 Richard W.M. Jones - 4.8.10-3 +- Bump release and rebuild. + * Mon Mar 1 16:57:45 GMT 2021 Richard W.M. Jones - 4.8.10-2 - OCaml 4.12.0 build