sci-mathematics/z3 – Gentoo Packages

sci-mathematics/z3-4.12.1 - -- Configuring incomplete, errors occurred!
904398 - Assigned to Michał Górny
sci-mathematics/z3-4.8.16 - CMake Error at .../FindJava.cmake:171 (message):
842615 - Assigned to Michał Górny
sci-mathematics/z3-4.8.14 - CMake Error at .../FindPackageHandleStandardArgs.cmake:230 (message):
830582 - Assigned to Michał Górny
sci-mathematics/z3-4.13.0 - [ncurses-6.5] [icu-75.1] [glibc-2.40] [gcc-15] /.../static_matrix.h: error: class lp::static_matrix<T, X> has no member named get
936634 - Assigned to Michał Górny

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: