ALT-PU-2025-8788-1

Обновление пакета z3 в ветке sisyphus

Версия4.15.2-alt2

Задание#388644

Опубликовано2025-07-01

Макс. серьёзностьNONE

Закрытые ошибки (1)

Ошибка #54994

z3.z3types.Z3Exception: libz3.so not found