============================ rpmlint session starts ============================ rpmlint: 2.6.1 configuration: /opt/testing/lib64/python3.13/rpmlint/configdefaults.toml /opt/testing/share/rpmlint/cron-whitelist.toml /opt/testing/share/rpmlint/dbus-services.toml /opt/testing/share/rpmlint/device-files-whitelist.toml /opt/testing/share/rpmlint/licenses.toml /opt/testing/share/rpmlint/opensuse.toml /opt/testing/share/rpmlint/pam-modules.toml /opt/testing/share/rpmlint/permissions-whitelist.toml /opt/testing/share/rpmlint/pie-executables.toml /opt/testing/share/rpmlint/polkit-rules-whitelist.toml /opt/testing/share/rpmlint/scoring.toml /opt/testing/share/rpmlint/security.toml /opt/testing/share/rpmlint/sudoers-whitelist.toml /opt/testing/share/rpmlint/sysctl-whitelist.toml /opt/testing/share/rpmlint/systemd-tmpfiles.toml /opt/testing/share/rpmlint/users-groups.toml /opt/testing/share/rpmlint/world-writable-whitelist.toml /opt/testing/share/rpmlint/zypper-plugins.toml /etc/xdg/rpmlint/scoring-strict.override.toml rpmlintrc: /home/abuild/rpmbuild/SOURCES/coq-rpmlintrc checks: 41, packages: 5 coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/btauto/g_btauto.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/cc/g_congruence.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/derive/g_derive.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/ltac/g_eqdecide.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/ltac/profile_ltac_tactics.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/nsatz/g_nsatz.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/rtauto/g_rtauto.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/tauto/tauto.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/plugins/zify/g_zify.mli coq-devel.x86_64: E: zero-length /usr/lib64/coq-core/revision coq-devel.x86_64: E: zero-length /usr/lib64/coq-stdlib/META coq-devel.x86_64: E: zero-length /usr/lib64/coqide/META coq.src: E: unused-rpmlintrc-filter "shared-library-without-dependency-information .*\.cmxs" coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Cantor.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_PeanoNat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Peano_dec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Arith/.coq-native/NCoq_Arith_Wf_nat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Array/.coq-native/NCoq_Array_PArray.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_Bool.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_BoolEq.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_BoolOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_Bvector.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_DecBool.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_IfProp.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_Sumbool.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Bool/.coq-native/NCoq_Bool_Zerob.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_CEquivalence.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_CMorphisms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_CRelationClasses.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_DecidableClass.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_EquivDec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_Equivalence.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_Init.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms_Prop.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms_Relations.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_RelationClasses.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_RelationPairs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidClass.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidDec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidTactics.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Compat/.coq-native/NCoq_Compat_AdmitAxiom.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Compat/.coq-native/NCoq_Compat_Coq818.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Compat/.coq-native/NCoq_Compat_Coq819.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Compat/.coq-native/NCoq_Compat_Coq820.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMapAVL.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMapFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMapFullAVL.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMapInterface.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMapList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMapPositive.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMapWeakList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FMaps.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetAVL.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetBridge.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetCompat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetDecide.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetEqProperties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetInterface.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetPositive.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetProperties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetToFiniteSet.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSetWeakList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/FSets/.coq-native/NCoq_FSets_FSets.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Floats/.coq-native/NCoq_Floats_FloatAxioms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Floats/.coq-native/NCoq_Floats_FloatClass.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Floats/.coq-native/NCoq_Floats_FloatLemmas.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Floats/.coq-native/NCoq_Floats_FloatOps.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Floats/.coq-native/NCoq_Floats_Floats.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Floats/.coq-native/NCoq_Floats_PrimFloat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Floats/.coq-native/NCoq_Floats_SpecFloat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Byte.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Datatypes.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Decimal.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Hexadecimal.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Logic.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Ltac.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Nat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Notations.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Number.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Peano.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Prelude.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Specif.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Tactics.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Tauto.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Wf.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_List.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_ListDec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_ListSet.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_ListTactics.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_SetoidList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_SetoidPermutation.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_StreamMemo.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_Streams.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Adjointification.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Berardi.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ChoiceFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Classical.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalChoice.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalDescription.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalEpsilon.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalUniqueChoice.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Classical_Pred_Type.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Classical_Prop.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ConstructiveEpsilon.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Decidable.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Description.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Diaconescu.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Epsilon.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Eqdep.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_EqdepFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Eqdep_dec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ExtensionalFunctionRepresentative.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ExtensionalityFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_FinFun.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_FunctionalExtensionality.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_HLevels.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_Hurkens.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_IndefiniteDescription.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_JMeq.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ProofIrrelevance.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_ProofIrrelevanceFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_PropExtensionality.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_PropExtensionalityFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_PropFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_RelationalChoice.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_SetIsType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_SetoidChoice.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_StrictProp.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_WKL.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Logic/.coq-native/NCoq_Logic_WeakFan.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetAVL.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetDecide.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetEqProperties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetGenTree.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetInterface.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetPositive.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetProperties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetRBT.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetToFiniteSet.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSetWeakList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/MSets/.coq-native/NCoq_MSets_MSets.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_BinNat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_BinNatDef.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_NArith.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_Ndec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_Ndiv_def.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_Ngcd_def.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_Nnat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/NArith/.coq-native/NCoq_NArith_Nsqrt_def.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_AltBinNotations.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_BinNums.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalN.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalNat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalPos.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalQ.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalR.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalZ.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalN.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalNat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalPos.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalQ.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalR.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalZ.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_NaryFunctions.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/.coq-native/NCoq_Numbers_NumPrelude.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_CarryType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_CyclicAxioms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_DoubleType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_NZCyclic.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Cyclic63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_PrimInt63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Ring63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Sint63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Uint63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAdd.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAddOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAxioms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZBase.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZBits.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivEucl.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivFloor.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivTrunc.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZGcd.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLcm.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMaxMin.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMul.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMulOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZParity.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZPow.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZProperties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZSgnAbs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/Binary/.coq-native/NCoq_Numbers_Integer_Binary_ZBinary.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Integer/NatPairs/.coq-native/NCoq_Numbers_Integer_NatPairs_ZNatPairs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAdd.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAddOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAxioms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZBase.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZBits.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZDiv.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZDomain.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZGcd.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZLog.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZMul.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZMulOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZParity.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZPow.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZProperties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZSqrt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAdd.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAddOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAxioms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NBase.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NBits.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NDefOps.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NDiv.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NDiv0.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NGcd.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NIso.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NLcm.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NLcm0.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NLog.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMaxMin.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMulOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NOrder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NParity.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NPow.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NProperties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSqrt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NStrongRec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSub.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Numbers/Natural/Binary/.coq-native/NCoq_Numbers_Natural_Binary_NBinary.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/PArith/.coq-native/NCoq_PArith_BinPos.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/PArith/.coq-native/NCoq_PArith_BinPosDef.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/PArith/.coq-native/NCoq_PArith_PArith.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/PArith/.coq-native/NCoq_PArith_POrderedType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/PArith/.coq-native/NCoq_PArith_Pnat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Basics.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Combinators.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Equality.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Program.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Subset.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Syntax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Tactics.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Utils.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Program/.coq-native/NCoq_Program_Wf.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_QArith.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_QArith_base.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_QOrderedType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qabs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qcabs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qcanon.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qfield.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qminmax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qpower.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qreals.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qreduction.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qring.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/QArith/.coq-native/NCoq_QArith_Qround.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Alembert.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_AltSeries.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_ArithProp.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Cauchy_prod.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalConstructiveReals.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalDedekindReals.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_plus.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_DiscrR.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Integration.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Machin.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_PSeries_reg.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_PartSum.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_RIneq.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_RList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_ROrderedType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_R_Ifp.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqr.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqrt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis2.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis3.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis4.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis5.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Ratan.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Raxioms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rbasic_fun.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rcomplete.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rdefinitions.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rderiv.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Reals.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rfunctions.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rgeom.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt_SF.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rlimit.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rlogic.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rpow_def.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rprod.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rregisternames.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rsigma.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rsqrt_def.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtopology.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo1.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_alt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_calc.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_def.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_fun.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Runcountable.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_SeqProp.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_SplitAbsolu.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_SplitRmult.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_Sqrt_reg.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveAbs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLUB.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLimits.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveMinMax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructivePower.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveReals.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveRealsMorphisms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveSum.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyAbs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyReals.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveExtra.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveRcomplete.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_PosExtra.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_QExtra.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Relations/.coq-native/NCoq_Relations_Operators_Properties.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Definitions.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Operators.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Setoids/.coq-native/NCoq_Setoids_Setoid.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Classical_sets.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Constructive_sets.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Cpo.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Ensembles.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Image.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Infinite_sets.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Integers.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Multiset.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Partial_Order.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Permut.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_Classical_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sets/.coq-native/NCoq_Sets_Uniset.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_CPermutation.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_Heap.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutEq.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutSetoid.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorted.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorting.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_BinaryString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_Byte.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_HexString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_OctalString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_PString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_PrimString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_PrimStringAxioms.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Strings/.coq-native/NCoq_Strings_String.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_Equalities.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_GenericMinMax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedType.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeAlt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeEx.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_Orders.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersAlt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersEx.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersTac.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Vectors/.coq-native/NCoq_Vectors_Fin.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Vectors/.coq-native/NCoq_Vectors_Vector.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorDef.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorEq.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorSpec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inclusion.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Exponentiation.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Product.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Transitive_Closure.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Union.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Well_Ordering.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Wellfounded.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Int.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Wf_Z.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_base.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zabs.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbitwise.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbool.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcompare.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdiv.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeuclid.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeven.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zhints.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmin.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zminmax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmisc.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znumtheory.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_alt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_facts.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpower.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zquot.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/btauto/.coq-native/NCoq_btauto_Algebra.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/btauto/.coq-native/NCoq_btauto_Btauto.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/btauto/.coq-native/NCoq_btauto_Reflect.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/derive/.coq-native/NCoq_derive_Derive.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlFloats.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlInt63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlPArray.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlPString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlChar.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNativeString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/extraction/.coq-native/NCoq_extraction_Extraction.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/funind/.coq-native/NCoq_funind_FunInd.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/funind/.coq-native/NCoq_funind_Recdef.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_DeclConstant.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Env.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_EnvRing.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Fourier.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Fourier_util.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Lia.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Lqa.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Lra.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_MExtraction.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_OrderedRing.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Psatz.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_QMicromega.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_RMicromega.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Refl.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_RingMicromega.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Tauto.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_VarMap.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZArith_hints.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZCoeff.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZMicromega.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Zify.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyBool.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyClasses.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyComparison.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyInst.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyN.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyNat.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyPow.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifySint63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyUint63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Ztac.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/nsatz/.coq-native/NCoq_nsatz_Nsatz.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/nsatz/.coq-native/NCoq_nsatz_NsatzTactic.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/omega/.coq-native/NCoq_omega_OmegaLemmas.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/omega/.coq-native/NCoq_omega_PreOmega.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/rtauto/.coq-native/NCoq_rtauto_Bintree.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/rtauto/.coq-native/NCoq_rtauto_Rtauto.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Algebra_syntax.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_ArithRing.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_BinList.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Cring.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_tac.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_theory.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_InitialRing.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Integral_domain.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_NArithRing.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_initial.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_polynom.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_tac.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_RealField.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_base.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_polynom.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_tac.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_theory.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_Q.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_R.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_Z.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_ZArithRing.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ssr/.coq-native/NCoq_ssr_ssrbool.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ssr/.coq-native/NCoq_ssr_ssrclasses.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ssr/.coq-native/NCoq_ssr_ssreflect.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ssr/.coq-native/NCoq_ssr_ssrfun.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ssr/.coq-native/NCoq_ssr_ssrsetoid.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ssr/.coq-native/NCoq_ssr_ssrunder.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/theories/ssrmatching/.coq-native/NCoq_ssrmatching_ssrmatching.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Array.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Bool.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Char.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Constant.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Constr.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Constructor.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Control.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Env.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Evar.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_FMap.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_FSet.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Float.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Fresh.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ident.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ind.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Init.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Int.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Lazy.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_List.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ltac1.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ltac2.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Message.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Meta.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Notations.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Option.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Pattern.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Printf.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Proj.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Pstring.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_RedFlags.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ref.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Std.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_String.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_TransparentState.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Uint63.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_Unification.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/Compat/.coq-native/NLtac2_Compat_Coq818.cmxs coq.x86_64: W: unstripped-binary-or-object /usr/lib64/coq/user-contrib/Ltac2/Compat/.coq-native/NLtac2_Compat_Coq819.cmxs This executable should be stripped from debugging symbols, in order to take less space and be loaded faster. This is usually done automatically at buildtime by rpm. coq.spec:52: W: suse-update-desktop-file-deprecated %suse_update_desktop_file is deprecated The usage of %suse_update_desktop_file is deprecated and changes should be migrated to the upstream. Please check the build log for details. coq-devel.x86_64: E: static-library-without-debuginfo /usr/lib64/coq-core/perf/coqperf.a coq-devel.x86_64: E: static-library-without-debuginfo /usr/lib64/coq-core/vm/coqrun.a The static library doesn't contain any debuginfo. Binaries linking against this static library can't be properly debugged. coq.spec: W: no-%check-section The spec file does not contain an %check section. Please check if the package has a testsuite and what it takes to enable the testsuite as part of the package build. If it is not possible to run it in the build environment (OBS/koji) or no testsuite exists, then please ignore this warning. You should not insert an empty %check section. coq.spec:186: W: macro-in-comment %{version} coq.spec:187: W: macro-in-comment %{version} coq.spec:190: W: macro-in-comment %{version} coq.spec:193: 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.x86_64: W: files-duplicate /usr/lib64/coq-core/plugins/extraction/miniml.mli /usr/lib64/coq-core/plugins/extraction/miniml.ml coq-devel.x86_64: W: files-duplicate /usr/lib64/coq-core/plugins/micromega/g_micromega.mli /usr/lib64/coq-core/plugins/ltac/coretactics.mli:/usr/lib64/coq-core/plugins/ltac2_ltac1/g_ltac2_ltac1.mli:/usr/lib64/coq-core/plugins/ltac2_ltac1/tac2core_ltac1.mli:/usr/lib64/coq-core/plugins/ltac2_ltac1/tac2stdlib_ltac1.mli coq-devel.x86_64: W: files-duplicate /usr/lib64/coq-core/plugins/ring/ring_ast.mli /usr/lib64/coq-core/plugins/ring/ring_ast.ml coq-devel.x86_64: W: files-duplicate /usr/lib64/coq-core/plugins/tutorial/p2/custom.mli /usr/lib64/coq-core/plugins/tutorial/p2/custom.ml Your package contains duplicated files that are not hard- or symlinks. You should use the %fdupes macro to link the files to one. coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coq_makefile coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqc coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqchk coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqdep coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqdoc coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqnative coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqtimelog2html coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqtop coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqworker.opt coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqworkmgr coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/csdpcert coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/ocamllibdep coq.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/votour coq-ide.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqide coq-ide.x86_64: W: binary-or-shlib-calls-gethostbyname /usr/bin/coqidetop.opt The binary calls gethostbyname. Please port the code to use getaddrinfo. Check time report (>1% & >0.1s): Check Duration (in s) Fraction (in %) Checked files ExtractRpm 41.7 77.1 BinariesCheck 9.2 17.0 FilesCheck 1.4 2.7 SignatureCheck 0.7 1.3 TOTAL 54.1 100.0 5 packages and 0 specfiles checked; 15 errors, 612 warnings, 236 filtered, 15 badness; has taken 54.8 s