From 09e6f045f450c0c9f006bc02006b9f6505d0e260 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sat, 13 Feb 2021 09:47:28 -0700 Subject: [PATCH] Version 4.8.10. --- sources | 2 +- z3.spec | 7 +++++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/sources b/sources index 1e223dd..6e928b0 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (z3-4.8.9.tar.gz) = a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f +SHA512 (z3-4.8.10.tar.gz) = d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b diff --git a/z3.spec b/z3.spec index 275ae18..ec018e5 100644 --- a/z3.spec +++ b/z3.spec @@ -1,6 +1,6 @@ Name: z3 -Version: 4.8.9 -Release: 5%{?dist} +Version: 4.8.10 +Release: 1%{?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 +* Sat Feb 13 2021 Jerry James - 4.8.10-1 +- Version 4.8.10 + * Thu Jan 28 2021 Fedora Release Engineering - 4.8.9-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild