Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
lean
The Lean Theorem Prover
https://leanprover-community.github.io/
Overview
Dependencies
QA report
Pull requests
0
Bugs
6
Security
0
Changelog
Bug Reports
sci-mathematics/lean-4.11.0 does not respect CFLAGS (GCC-14-SYSTEM)
921365 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-3.51.1 fails to compile: hash.cpp:75:8: error: uint64_t does not name a type
939854 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-4.11.0 - [ncurses-6.5] [gcc-15] One or more CMake variables were not used by the project:
939891 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-3.51.1 fails to compile: parray.h:592:20: error: class lean::parray<T, ThreadSafe> has no member named m_ptr
936618 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-4.11.0 one or more CMake variables were not used by the project
923378 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-3.51.1 - [icu-75.1] [gcc-15] /.../hash.cpp: error: MurmurHash64A was not declared in this scope
937429 - Assigned to Gentoo Science Mathematics related packages
Description
Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
File a new Bug
Confirm a bug
Participate in our monthly Bugday
Shortcuts
Packages Bugs (6)
Stabilization Bugs (0)
Keywording Bugs (0)