diff --git a/sources b/sources index d3aac3a..5ead29f 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (z3-4.8.14.tar.gz) = 10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab +SHA512 (z3-4.8.15.tar.gz) = 7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c diff --git a/z3.rpmlintrc b/z3.rpmlintrc deleted file mode 100644 index 872eb7a..0000000 --- a/z3.rpmlintrc +++ /dev/null @@ -1,25 +0,0 @@ -# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON -# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors - -# The dictionary is missing some technical terms -addFilter(r'W: spelling-error .* ((S|s)atisfiability|datatypes)') - -# Shared objects in the python arch directory are not devel files -addFilter(r'python3-z3\.[^:]+: W: devel-file-in-non-devel-package .*libz3\.so') - -# The documentation is in the -doc subpackage -addFilter(r'W: no-documentation') - -# Oh yes, we have no manual page -addFilter(r'W: no-manual-page-for-binary z3') - -# The configure script is not an autotools-generated script -addFilter(r'z3\.spec:[^:]*: W: configure-without-libdir-spec') - -# The spec file moves the shared object from /usr/lib to /usr/lib64 on 64-bit -# systems, the opposite of the problem this warning is intended to catch. -addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/libz3\.so\*') - -# This is where JAR files are supposed to go when there is a binary interface. -addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/\*\.jar') -addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/lib%{name}java\.so') diff --git a/z3.spec b/z3.spec index e0619fd..e5cb053 100644 --- a/z3.spec +++ b/z3.spec @@ -4,8 +4,8 @@ %bcond_with test Name: z3 -Version: 4.8.14 -Release: 4%{?dist} +Version: 4.8.15 +Release: 1%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver License: MIT @@ -230,6 +230,9 @@ cd - %{python3_sitelib}/%{name}/ %changelog +* Mon Mar 21 2022 Jerry James - 4.8.15-1 +- Version 4.8.15 + * Sat Feb 05 2022 Jiri Vanek - 4.8.14-4 - Rebuilt for java-17-openjdk as system jdk