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
5
Security
0
Changelog
Bug Reports
sci-mathematics/lean-4.2.0 fails to compile: make[7]: lean.mk:65: Solver.olean] Segmentation fault
928093 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-4.2.0 does not respect CFLAGS (GCC-14-SYSTEM)
921365 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-4.2.0_rc4: Segmentation fault (x86)
917789 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-4.2.0 - One or more CMake variables were not used by the project:
925478 - Assigned to Gentoo Science Mathematics related packages
sci-mathematics/lean-4.2.0 one or more CMake variables were not used by the project
923378 - 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 (5)
Stabilization Bugs (0)
Keywording Bugs (0)