Rebuilt for java-17-openjdk as system jdk

https://fedoraproject.org/wiki/Changes/Java17
2022-02-06 00:53:17 +01:00 · 2022-02-06 00:53:17 +01:00 · d4a35ac719
parent cea5f750e3
commit d4a35ac719
1 changed files with 4 additions and 1 deletions
--- a/z3.spec
+++ b/z3.spec
@ -5,7 +5,7 @@

 Name:           z3
 Version:        4.8.14
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver

 License:        MIT
@ -230,6 +230,9 @@ cd -
 %{python3_sitelib}/%{name}/

 %changelog
+* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 4.8.14-4
+- Rebuilt for java-17-openjdk as system jdk
+
 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3
 - OCaml 4.13.1 rebuild to remove package notes