ALT-PU-2026-2058: package z3 update to version 4.15.4-alt1
Источник
errata.altlinux.org
Дата публикации
02.03.2026
Дата обновления
02.03.2026
Устраненные уязвимости
0
ALT Linux branch p11
ALT Container
ALT Education
ALT Workstation
ALT Workstation K
ALT Server
ALT Virtualization PVE Edition
Описание
This update upgrades z3 to version 4.15.4-alt1. Security Fix(es):
- #54994: z3.z3types.Z3Exception: libz3.so not found