Errata Branches Packages Bugzilla

All errata/p11/ALT-PU-2026-2058-3

ALT-PU-2026-2058-3

Package update z3 in branch p11

Version4.15.4-alt1

Published2026-03-02

Max severityNONE

Closed issues

1

1BUGS

Closed bugs (1)

z3.z3types.Z3Exception: libz3.so not found

errata.altlinux.org is an open source of errata bulletins for ALT Linux packages — security fixes, bugs and regressions. The site is statically generated.

Links

packages.altlinux.org git.altlinux.org bugzilla.altlinux.org www.altlinux.org

Community

Forum git (altlinux.space)Telegram VKontakte

About

JSON API Source code

© 2026 ALT Linux Team. Licensed under GNU AGPL v3.v2.2.0 · static site