coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coq-tex coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coq_makefile coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqc coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqchk coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqdep coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqdoc coq-ide.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqide coq-ide.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqidetop.opt coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqproofworker.opt coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqqueryworker.opt coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqtacticworker.opt coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqtop.opt coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqwc coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqworkmgr coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/ocamllibdep coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/bin/votour coq.x86_64: I: binary-or-shlib-calls-gethostbyname /usr/lib64/coq/plugins/micromega/csdpcert The binary calls gethostbyname(). Please port the code to use getaddrinfo(). coq-devel.x86_64: W: files-duplicate /usr/lib64/coq/theories/omega/OmegaPlugin.v /usr/lib64/coq/theories/omega/OmegaTactic.v coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_images/coqide-queries.png /usr/share/doc/packages/coq/refman/_static/coqide-queries.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_images/diffs-coqide-compacted.png /usr/share/doc/packages/coq/refman/_static/diffs-coqide-compacted.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_images/diffs-coqide-removed.png /usr/share/doc/packages/coq/refman/_static/diffs-coqide-removed.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_images/diffs-error-message.png /usr/share/doc/packages/coq/refman/_static/diffs-error-message.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/coqide.png /usr/share/doc/packages/coq/refman/_images/coqide.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/diffs-coqide-multigoal.png /usr/share/doc/packages/coq/refman/_images/diffs-coqide-multigoal.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/diffs-coqide-on.png /usr/share/doc/packages/coq/refman/_images/diffs-coqide-on.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/diffs-coqtop-on3.png /usr/share/doc/packages/coq/refman/_images/diffs-coqtop-on3.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/diffs-show-proof.png /usr/share/doc/packages/coq/refman/_images/diffs-show-proof.png coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/fonts/RobotoSlab-Bold.ttf /usr/share/doc/packages/coq/refman/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/fonts/RobotoSlab-Regular.ttf /usr/share/doc/packages/coq/refman/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf coq-doc.x86_64: W: files-duplicate /usr/share/doc/packages/coq/stdlib/index_instance_Y.html /usr/share/doc/packages/coq/stdlib/index_abbreviation_*.html:/usr/share/doc/packages/coq/stdlib/index_abbreviation_J.html:/usr/share/doc/packages/coq/stdlib/index_abbreviation_Y.html:/usr/share/doc/packages/coq/stdlib/index_abbreviation__.html:/usr/share/doc/packages/coq/stdlib/index_axiom_*.html:/usr/share/doc/packages/coq/stdlib/index_axiom_K.html:/usr/share/doc/packages/coq/stdlib/index_axiom_V.html:/usr/share/doc/packages/coq/stdlib/index_axiom_X.html:/usr/share/doc/packages/coq/stdlib/index_axiom_Y.html:/usr/share/doc/packages/coq/stdlib/index_axiom__.html:/usr/share/doc/packages/coq/stdlib/index_binder_*.html:/usr/share/doc/packages/coq/stdlib/index_binder__.html:/usr/share/doc/packages/coq/stdlib/index_constructor_*.html:/usr/share/doc/packages/coq/stdlib/index_constructor_K.html:/usr/share/doc/packages/coq/stdlib/index_constructor_Y.html:/usr/share/doc/packages/coq/stdlib/index_constructor__.html:/usr/share/doc/packages/coq/stdlib/index_definition_*.html:/usr/share/doc/packages/coq/stdlib/index_definition__.html:/usr/share/doc/packages/coq/stdlib/index_inductive_*.html:/usr/share/doc/packages/coq/stdlib/index_inductive_X.html:/usr/share/doc/packages/coq/stdlib/index_inductive_Y.html:/usr/share/doc/packages/coq/stdlib/index_inductive__.html:/usr/share/doc/packages/coq/stdlib/index_instance_*.html:/usr/share/doc/packages/coq/stdlib/index_instance_J.html:/usr/share/doc/packages/coq/stdlib/index_instance_V.html:/usr/share/doc/packages/coq/stdlib/index_instance_X.html:/usr/share/doc/packages/coq/stdlib/index_instance__.html:/usr/share/doc/packages/coq/stdlib/index_lemma_*.html:/usr/share/doc/packages/coq/stdlib/index_library_*.html:/usr/share/doc/packages/coq/stdlib/index_library_K.html:/usr/share/doc/packages/coq/stdlib/index_library_X.html:/usr/share/doc/packages/coq/stdlib/index_library_Y.html:/usr/share/doc/packages/coq/stdlib/index_library__.html:/usr/share/doc/packages/coq/stdlib/index_module_*.html:/usr/share/doc/packages/coq/stdlib/index_module_J.html:/usr/share/doc/packages/coq/stdlib/index_module_X.html:/usr/share/doc/packages/coq/stdlib/index_module_Y.html:/usr/share/doc/packages/coq/stdlib/index_module__.html:/usr/share/doc/packages/coq/stdlib/index_notation_F.html:/usr/share/doc/packages/coq/stdlib/index_notation_J.html:/usr/share/doc/packages/coq/stdlib/index_notation_K.html:/usr/share/doc/packages/coq/stdlib/index_notation_T.html:/usr/share/doc/packages/coq/stdlib/index_notation_X.html:/usr/share/doc/packages/coq/stdlib/index_notation_Y.html:/usr/share/doc/packages/coq/stdlib/index_notation__.html:/usr/share/doc/packages/coq/stdlib/index_projection_*.html:/usr/share/doc/packages/coq/stdlib/index_projection_G.html:/usr/share/doc/packages/coq/stdlib/index_projection_K.html:/usr/share/doc/packages/coq/stdlib/index_projection_V.html:/usr/share/doc/packages/coq/stdlib/index_projection_X.html:/usr/share/doc/packages/coq/stdlib/index_projection_Y.html:/usr/share/doc/packages/coq/stdlib/index_projection__.html:/usr/share/doc/packages/coq/stdlib/index_record_*.html:/usr/share/doc/packages/coq/stdlib/index_record_J.html:/usr/share/doc/packages/coq/stdlib/index_record_V.html:/usr/share/doc/packages/coq/stdlib/index_record_X.html:/usr/share/doc/packages/coq/stdlib/index_record_Y.html:/usr/share/doc/packages/coq/stdlib/index_record__.html:/usr/share/doc/packages/coq/stdlib/index_section_*.html:/usr/share/doc/packages/coq/stdlib/index_section_J.html:/usr/share/doc/packages/coq/stdlib/index_section_Q.html:/usr/share/doc/packages/coq/stdlib/index_section_X.html:/usr/share/doc/packages/coq/stdlib/index_section_Y.html:/usr/share/doc/packages/coq/stdlib/index_section__.html:/usr/share/doc/packages/coq/stdlib/index_variable_*.html:/usr/share/doc/packages/coq/stdlib/index_variable_J.html:/usr/share/doc/packages/coq/stdlib/index_variable_Q.html:/usr/share/doc/packages/coq/stdlib/index_variable_V.html:/usr/share/doc/packages/coq/stdlib/index_variable_X.html:/usr/share/doc/packages/coq/stdlib/index_variable_Y.html:/usr/share/doc/packages/coq/stdlib/index_variable__.html coq-devel.x86_64: W: hidden-file-or-dir /usr/lib64/coq/gramlib/.pack coq-devel.x86_64: W: hidden-file-or-dir /usr/lib64/coq/gramlib/.pack coq-doc.x86_64: W: hidden-file-or-dir /usr/share/doc/packages/coq/refman/.buildinfo The file or directory is hidden. You should see if this is normal, and delete it from the package if not. coq.src:174: W: macro-in-comment %{version} coq.src:175: W: macro-in-comment %{version} coq.src:178: W: macro-in-comment %{version} coq.src:181: W: macro-in-comment %{version} There is a unescaped macro after a shell style comment in the specfile. Macros are expanded everywhere, so check if it can cause a problem in this case and escape the macro with another leading % if appropriate. coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coq-tex coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coq_makefile coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqc coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqchk coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqdep coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqdoc coq-ide.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqide coq-ide.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqidetop.opt coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqproofworker.opt coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqqueryworker.opt coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqtacticworker.opt coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqtop.opt coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqwc coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/coqworkmgr coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/ocamllibdep coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/bin/votour coq.x86_64: W: missing-call-to-chdir-with-chroot /usr/lib64/coq/plugins/micromega/csdpcert This executable appears to call chroot without using chdir to change the current directory. This is likely an error and permits an attacker to break out of the chroot by using fchdir. While that's not always a security issue, this has to be checked. coq-devel.x86_64: W: no-version-in-last-changelog coq-doc.x86_64: W: no-version-in-last-changelog coq-ide.x86_64: W: no-version-in-last-changelog coq.src: W: no-version-in-last-changelog coq.x86_64: W: no-version-in-last-changelog The latest changelog entry doesn't contain a version. Please insert the version that is coherent with the version of the package and rebuild it. coq-devel.x86_64: W: static-library-without-debuginfo /usr/lib64/coq/vernac/vernac.a The static library doesn't contain any debuginfo. Binaries linking against this static library can't be properly debugged. coq.x86_64: W: zero-length /usr/lib64/coq/revision coq-doc.x86_64: E: files-duplicated-waste (Badness: 100) 1976830 Your package contains duplicated files that are not hard- or symlinks. You should use the %fdupes macro to link the files to one. 5 packages and 0 specfiles checked; 1 errors, 44 warnings.