Errata Branches Packages Bugzilla

All errata/sisyphus/ALT-PU-2025-8788-1

ALT-PU-2025-8788-1

Package update z3 in branch sisyphus

Version4.15.2-alt2

Published2025-07-01

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