ALT Linux Team

Package z3 update in sisyphus_riscv64 on 2025-07-01

ALT-PU-2025-8834-1

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

Closed bugs

Bug #54994

z3.z3types.Z3Exception: libz3.so not found

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