<<< packages_pkgcheck_scan >>> DroppedKeywords: version 4.11.0: x86 <<< open bugs >>> https://bugs.gentoo.org/921365 sci-mathematics/lean-4.11.0_does_not_respect_CFLAGS_(GCC-14-SYSTEM) https://bugs.gentoo.org/923378 sci-mathematics/lean-4.11.0_one_or_more_CMake_variables_were_not_used_by_the_project https://bugs.gentoo.org/936618 sci-mathematics/lean-3.51.1_fails_to_compile:_parray.h:592:20:_error:_class_lean::parrayT,_ThreadSafe_has_no_member_named_m_ptr https://bugs.gentoo.org/937429 sci-mathematics/lean-3.51.1_-_[icu-75.1]_[gcc-15]_/.../hash.cpp:_error:_MurmurHash64A_was_not_declared_in_this_scope https://bugs.gentoo.org/939854 sci-mathematics/lean-3.51.1_fails_to_compile:_hash.cpp:75:8:_error:_uint64_t_does_not_name_a_type https://bugs.gentoo.org/939891 sci-mathematics/lean-4.11.0_-_[ncurses-6.5]_[gcc-15]_One_or_more_CMake_variables_were_not_used_by_the_project: