Checking: lem-2025.03.13-1.fc40.x86_64.rpm lem-devel-2025.03.13-1.fc40.x86_64.rpm lem-2025.03.13-1.fc40.src.rpm ============================ rpmlint session starts ============================ rpmlint: 2.6.1 configuration: /usr/lib/python3.13/site-packages/rpmlint/configdefaults.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/tmpqjgmhdt6')] checks: 32, packages: 3 lem.x86_64: W: unstripped-binary-or-object /usr/bin/lem lem-devel.x86_64: E: static-library-without-debuginfo /usr/lib64/ocaml/lem_num/extract.a lem-devel.x86_64: E: static-library-without-debuginfo /usr/lib64/ocaml/lem_zarith/extract.a lem-devel.x86_64: W: no-documentation lem.spec: W: no-%check-section lem-devel.x86_64: E: files-duplicated-waste 231431 lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/bit.cmi /usr/lib64/ocaml/lem_num/bit.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/bit.cmx /usr/lib64/ocaml/lem_num/bit.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/bit.mli /usr/lib64/ocaml/lem_num/bit.mli lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/either.cmi /usr/lib64/ocaml/lem_num/either.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/either.cmx /usr/lib64/ocaml/lem_num/either.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmi /usr/lib64/ocaml/lem_num/lem_assert_extra.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmx /usr/lib64/ocaml/lem_num/lem_assert_extra.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_bool.cmi /usr/lib64/ocaml/lem_num/lem_bool.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_bool.cmx /usr/lib64/ocaml/lem_num/lem_bool.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_debug.cmi /usr/lib64/ocaml/lem_num/lem_debug.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_debug.cmx /usr/lib64/ocaml/lem_num/lem_debug.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/nat_big_num.mli /usr/lib64/ocaml/lem_num/nat_big_num.mli lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/nat_num.cmi /usr/lib64/ocaml/lem_num/nat_num.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/nat_num.cmx /usr/lib64/ocaml/lem_num/nat_num.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/nat_num.mli /usr/lib64/ocaml/lem_num/nat_num.mli lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pmap.cmi /usr/lib64/ocaml/lem_num/pmap.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pmap.cmx /usr/lib64/ocaml/lem_num/pmap.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pmap.mli /usr/lib64/ocaml/lem_num/pmap.mli lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pset.cmi /usr/lib64/ocaml/lem_num/pset.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pset.cmx /usr/lib64/ocaml/lem_num/pset.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pset.mli /usr/lib64/ocaml/lem_num/pset.mli lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/rational.mli /usr/lib64/ocaml/lem_num/rational.mli lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/vector.cmi /usr/lib64/ocaml/lem_num/vector.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/vector.cmx /usr/lib64/ocaml/lem_num/vector.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/vector.mli /usr/lib64/ocaml/lem_num/vector.mli lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/xstring.cmi /usr/lib64/ocaml/lem_num/xstring.cmi lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/xstring.cmx /usr/lib64/ocaml/lem_num/xstring.cmx lem-devel.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/xstring.mli /usr/lib64/ocaml/lem_num/xstring.mli 3 packages and 0 specfiles checked; 3 errors, 31 warnings, 11 filtered, 3 badness; has taken 1.0 s