Бюллетени
Ветки
Пакеты
Bugzilla
RU
EN
Все бюллетени
/
p11
/
ALT-PU-2026-2058-3
ALT-PU-2026-2058-3
Скопировать
Обновление пакета
z3
в ветке
p11
Версия
4.15.4-alt1
Задание
#402937
Опубликовано
2026-03-02
Макс. серьёзность
NONE
Закрытые ошибки
(1)
Ошибка #54994
z3.z3types.Z3Exception: libz3.so not found