Summary: | sci-mathematics/lean-4.2.0 - One or more CMake variables were not used by the project: | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | CONFIRMED --- | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
emerge-info.txt
emerge-history.txt etc.clang.tar.xz etc.portage.tar.xz qlist-info.txt sci-mathematics:lean-4.2.0:20240225-021141.log |
Description
Toralf Förster
![]() Created attachment 885933 [details]
emerge-info.txt
Created attachment 885934 [details]
emerge-history.txt
Created attachment 885935 [details]
etc.clang.tar.xz
Created attachment 885936 [details]
etc.portage.tar.xz
Created attachment 885937 [details]
qlist-info.txt
Created attachment 885938 [details]
sci-mathematics:lean-4.2.0:20240225-021141.log
|