Checking: lem-2022.12.10-1.fc41.x86_64.rpm lem-devel-2022.12.10-1.fc41.x86_64.rpm lem-2022.12.10-1.fc41.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/tmpqxj1l52j')] 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.src: E: spelling-error ('provers', '%description -l en_US provers -> proves, rovers, proverbs') lem.x86_64: E: spelling-error ('provers', '%description -l en_US provers -> proves, rovers, proverbs') lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_assert_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_assert_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_basic_classes.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_basic_classes_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_bool.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_bool_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_debug.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_debug_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_either.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_either_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_function.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_function_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_function_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_function_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_list.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_list_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_list_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_list_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_machine_word.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_machine_word_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_map.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_map_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_map_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_map_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_maybe.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_maybe_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_maybe_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_maybe_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_num.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_num_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_num_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_num_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_pervasives.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_pervasives_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_pervasives_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_pervasives_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_relation.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_relation_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_set.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_set_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_set_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_set_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_set_helpers.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_set_helpers_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_show.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_show_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_show_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_show_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_sorting.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_sorting_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_string.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_string_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_string_extra.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_string_extra_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_tuple.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_tuple_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_word.v 600 lem.x86_64: E: non-readable /usr/share/lem/coq-lib/lem_word_auxiliary.v 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_assert_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_basic_classesScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_boolScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_debugScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_eitherScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_functionScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_function_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_listScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_list_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_machine_wordScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_mapScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_map_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_maybeScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_maybe_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_numScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_num_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_pervasivesScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_pervasives_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_relationScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_setScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_set_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_set_helpersScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_showScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_show_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_sortingScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_stringScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_string_extraScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_tupleScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/hol-lib/lem_wordScript.sml 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_assert_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_basic_classes.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_bool.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_debug.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_either.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_function.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_function_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_list.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_list_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_machine_word.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_map.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_map_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_maybe.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_maybe_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_num.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_num_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_pervasives.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_pervasives_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_relation.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_set.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_set_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_set_helpers.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_show.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_show_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_sorting.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_string.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_string_extra.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_tuple.thy 600 lem.x86_64: E: non-readable /usr/share/lem/isabelle-lib/Lem_word.thy 600 lem.x86_64: W: no-manual-page-for-binary lem lem-devel.x86_64: W: no-documentation lem.src: W: name-repeated-in-summary Lem lem.x86_64: W: name-repeated-in-summary Lem lem-devel.x86_64: E: files-duplicated-waste 222133 lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/bit.cmi /usr/lib64/ocaml/lem_num/bit.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/either.cmi /usr/lib64/ocaml/lem_num/either.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_assert_extra.cmi /usr/lib64/ocaml/lem_num/lem_assert_extra.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_bool.cmi /usr/lib64/ocaml/lem_num/lem_bool.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/lem_debug.cmi /usr/lib64/ocaml/lem_num/lem_debug.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/nat_num.cmi /usr/lib64/ocaml/lem_num/nat_num.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pmap.cmi /usr/lib64/ocaml/lem_num/pmap.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/pset.cmi /usr/lib64/ocaml/lem_num/pset.cmi lem.x86_64: W: files-duplicate /usr/lib64/ocaml/lem_zarith/vector.cmi /usr/lib64/ocaml/lem_num/vector.cmi lem.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/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.cmx /usr/lib64/ocaml/lem_num/either.cmx 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.cmx /usr/lib64/ocaml/lem_num/lem_bool.cmx 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.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.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.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.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.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 lem.src: E: description-line-too-long Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL, though the generated Coq is not necessarily idiomatic). It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems. lem.x86_64: E: description-line-too-long Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL, though the generated Coq is not necessarily idiomatic). It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems. 3 packages and 0 specfiles checked; 123 errors, 33 warnings, 11 filtered, 123 badness; has taken 0.8 s