sci-mathematics:lean-4.2.0:20240225-021141.log

sci-mathematics:lean-4.2.0:20240225-021141.log (text/plain), 346 bytes, created by Toralf Förster on 2024-02-25 08:26:27 UTC

QA: other
QA Notice: 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
  CMAKE_INSTALL_MANDIR
  FETCHCONTENT_FULLY_DISCONNECTED
  Python3_FIND_UNVERSIONED_NAMES