sci-mathematics/

lean

Bug Reports

• sci-mathematics/lean-4.11.0 - [llvm] deps=lean --deps LeanClosedTermCache.lean || (echo lean --deps LeanClosedTermCache.lean failed ($?): $deps; exit 1); \

  946977 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-4.11.0 does not respect CFLAGS (GCC-14-SYSTEM)

  921365 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-4.14.0-r1 - [ncurses-6.5] [gcc-15] One or more CMake variables were not used by the project:

  939891 - Assigned to Gentoo Science Mathematics related packages