One or more CMake variables were not used by the project: CMAKE_ASM-ATT_FLAGS_RELEASE CMAKE_ASM_FLAGS_RELEASE CMAKE_EDIT_COMMAND CMAKE_Fortran_FLAGS_RELEASE CMAKE_INSTALL_DOCDIR CMAKE_INSTALL_INFODIR CMAKE_INSTALL_LIBDIR ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome_systemd_merged_usr-20231022-165004 ------------------------------------------------------------------- The log matches a QA pattern or a pattern requested by a Gentoo developer.
Created attachment 873494 [details] emerge-info.txt
Created attachment 873495 [details] emerge-history.txt
Created attachment 873496 [details] etc.portage.tar.xz
Created attachment 873497 [details] qlist-info.txt.xz
Created attachment 873498 [details] sci-mathematics:lean-4.2.0_rc4:20231026-170631.log
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c424b1a0464033e5499ea963860773dbf0fea6a0 commit c424b1a0464033e5499ea963860773dbf0fea6a0 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2024-01-15 20:10:03 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2024-01-15 21:20:41 +0000 sci-mathematics/lean: drop old 4.2.0_rc4 Closes: https://bugs.gentoo.org/916306 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/lean/Manifest | 1 - sci-mathematics/lean/lean-4.2.0_rc4.ebuild | 78 ------------------------------ 2 files changed, 79 deletions(-)
