54994 2025-06-30 17:25:28 +0300 z3.z3types.Z3Exception: libz3.so not found 2025-07-01 16:31:00 +0300 1 1 4 Development Sisyphus python3-module-z3 unstable all Linux CLOSED FIXED P5 normal --- 1 ancieg grenka grenka rider qa-sisyphus oldest_to_newest 268103 0 ancieg 2025-06-30 17:25:28 +0300 user@host ~ $ rpm -q python3-module-z3 python3-module-z3-4.15.2-alt1.noarch user@host ~ $ rpm -qa | grep z3 python3-module-z3-4.15.2-alt1.noarch libz3-4.15.2-alt1.x86_64 user@host ~ $ python3 -c 'import z3' Could not find libz3.so; consider adding the directory containing it to - your system's PATH environment variable, - the Z3_LIBRARY_PATH environment variable, or - to the custom Z3_LIB_DIRS Python-builtin before importing the z3 module, e.g. via import builtins builtins.Z3_LIB_DIRS = [ '/path/to/z3/lib/dir' ] # directory containing libz3.so [TypeError('expected str, bytes or os.PathLike object, not NoneType'), OSError('libz3.so: cannot open shared object file: No such file or directory')] Traceback (most recent call last): File "<string>", line 1, in <module> File "/usr/lib/python3/site-packages/z3/__init__.py", line 1, in <module> from .z3 import * File "/usr/lib/python3/site-packages/z3/z3.py", line 46, in <module> from . import z3core File "/usr/lib/python3/site-packages/z3/z3core.py", line 79, in <module> raise Z3Exception("libz3.%s not found." % _ext) z3.z3types.Z3Exception: libz3.so not found. 268132 1 ancieg 2025-06-30 22:38:01 +0300 Судя по %changelog последнее и относительно продолжительное время пакетом занимается Григорий, поэтому перевешиваю на него. 268182 2 repository-robot 2025-07-01 16:31:00 +0300 z3-4.15.2-alt2 -> sisyphus: Tue Jul 01 2025 Grigory Ustinov <grenka@altlinux> 4.15.2-alt2 - Added patch, fixing libz3 loading (Closes: #54994).