ALT Linux Team

Package z3 update in sisyphus_loongarch64 on 2025-07-01

ALT-PU-2025-8838-1

Package z3 updated to version 4.15.2-alt2 for branch sisyphus_loongarch64.

Closed bugs

Bug #54994

z3.z3types.Z3Exception: libz3.so not found

VKontakte | Telegram | YouTube | Forum | GitHub | Bugzilla
Version: 2.1.2
Back to top