Checking: lean4-4.7.0-3.fc38.x86_64.rpm
          lean4-4.7.0-3.fc38.src.rpm
============================ rpmlint session starts ============================
rpmlint: 2.5.0
configuration:
    /usr/lib/python3.12/site-packages/rpmlint/configdefaults.toml
    /etc/xdg/rpmlint/fedora-legacy-licenses.toml
    /etc/xdg/rpmlint/fedora-spdx-licenses.toml
    /etc/xdg/rpmlint/fedora.toml
    /etc/xdg/rpmlint/scoring.toml
    /etc/xdg/rpmlint/users-groups.toml
    /etc/xdg/rpmlint/warn-on-functions.toml
rpmlintrc: [PosixPath('/tmp/tmpbkdjb6hd')]
checks: 32, packages: 2

lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/globs/TBA.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/globs/TBA/Eulerian.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/globs/TBA/Eulerian/A.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/lock/Nop.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/noBuild/Test.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/A.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/A/B/C.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/bar/X.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/order/foo/X.lean
lean4.x86_64: E: zero-length /usr/lib64/lean4/src/lean/lake/tests/precompileArgs/Foo/Bar.lean
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libInit.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libLake.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libLean.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libleancpp.a
lean4.x86_64: E: static-library-without-debuginfo /usr/lib64/lean4/lib/lean/libleanrt.a
lean4.src: E: spelling-error ('prover', 'Summary(en_US) prover -> prove, rover, proverb')
lean4.src: E: spelling-error ('prover', '%description -l en_US prover -> prove, rover, proverb')
lean4.x86_64: E: spelling-error ('prover', 'Summary(en_US) prover -> prove, rover, proverb')
lean4.x86_64: E: spelling-error ('prover', '%description -l en_US prover -> prove, rover, proverb')
lean4.spec:31: E: rpm-buildroot-usage %build %cmake -DLEAN_BUILD_TYPE="Release" -DUSE_GITHASH=OFF -DLEAN_INSTALL_PREFIX=%{buildroot}
lean4.x86_64: W: no-manual-page-for-binary lake
lean4.x86_64: W: no-manual-page-for-binary lean
lean4.x86_64: W: no-manual-page-for-binary leanc
lean4.x86_64: W: no-manual-page-for-binary leanmake
lean4.x86_64: W: files-duplicate /usr/lib64/lean4/src/lean/lake/tests/clone/test/Main.lean /usr/lib64/lean4/src/lean/lake/tests/buildArgs/Main.lean
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/include/lean/config.h
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/include/lean/lean.h
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/include/lean/lean_gmp.h
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/include/lean/version.h
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/lib/lean/libInit.a
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/lib/lean/libLake.a
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/lib/lean/libLean.a
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/lib/lean/libleancpp.a
lean4.x86_64: W: devel-file-in-non-devel-package /usr/lib64/lean4/lib/lean/libleanrt.a
 2 packages and 0 specfiles checked; 20 errors, 14 warnings, 7 filtered, 20 badness; has taken 9.5 s