coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coq-tex
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coq_makefile
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqc
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqchk
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqdep
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqdoc
coq-ide.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqide
coq-ide.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqidetop.opt
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqproofworker.opt
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqqueryworker.opt
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqtacticworker.opt
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqtop.opt
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqwc
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/coqworkmgr
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/ocamllibdep
coq.s390x: I: binary-or-shlib-calls-gethostbyname /usr/bin/votour
coq.s390x: 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.s390x: W: files-duplicate /usr/lib64/coq/theories/omega/OmegaTactic.v /usr/lib64/coq/theories/omega/OmegaPlugin.v
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_images/diffs-coqide-multigoal.png /usr/share/doc/packages/coq/refman/_static/diffs-coqide-multigoal.png
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_images/diffs-coqtop-on3.png /usr/share/doc/packages/coq/refman/_static/diffs-coqtop-on3.png
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_images/diffs-show-proof.png /usr/share/doc/packages/coq/refman/_static/diffs-show-proof.png
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/coqide-queries.png /usr/share/doc/packages/coq/refman/_images/coqide-queries.png
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/coqide.png /usr/share/doc/packages/coq/refman/_images/coqide.png
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/diffs-coqide-compacted.png /usr/share/doc/packages/coq/refman/_images/diffs-coqide-compacted.png
coq-doc.s390x: 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.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/diffs-coqide-removed.png /usr/share/doc/packages/coq/refman/_images/diffs-coqide-removed.png
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/diffs-error-message.png /usr/share/doc/packages/coq/refman/_images/diffs-error-message.png
coq-doc.s390x: 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.s390x: W: files-duplicate /usr/share/doc/packages/coq/refman/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf /usr/share/doc/packages/coq/refman/_static/fonts/RobotoSlab-Regular.ttf
coq-doc.s390x: W: files-duplicate /usr/share/doc/packages/coq/stdlib/index_axiom_*.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_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_Y.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.s390x: W: hidden-file-or-dir /usr/lib64/coq/gramlib/.pack
coq-devel.s390x: W: hidden-file-or-dir /usr/lib64/coq/gramlib/.pack
coq-doc.s390x: 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-devel.s390x: W: no-version-in-last-changelog
coq-doc.s390x: W: no-version-in-last-changelog
coq-ide.s390x: W: no-version-in-last-changelog
coq.s390x: W: no-version-in-last-changelog
coq.src: 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.s390x: 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.s390x: W: zero-length /usr/lib64/coq/revision
coq-doc.s390x: 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, 27 warnings.