Hints

Enrico Tassi

We have the following e-mail addresses on file:

• gareuselesinge@debian.org

Found 1078 issues in 57 maintained sources. To see all packaging hints, please click on the source.

• coq 8.12.0-3
• coq_8.12.0-3+b3_amd64.deb (main)
  • W executable-not-elf-or-script usr/lib/coq/tools/TimeFileMaker.py
  • W no-manual-page usr/bin/coqidetop
  • W no-manual-page usr/bin/coqidetop.opt
  • W no-manual-page usr/bin/coqpp
  • W no-manual-page usr/bin/coqproofworker.byte
  • W no-manual-page usr/bin/coqproofworker.opt
  • W no-manual-page usr/bin/coqqueryworker.byte
  • W no-manual-page usr/bin/coqqueryworker.opt
  • W no-manual-page usr/bin/coqtacticworker.byte
  • W no-manual-page usr/bin/coqtacticworker.opt
  • W no-manual-page usr/bin/coqworkmgr
  • W no-manual-page usr/bin/ocamllibdep
  • W no-manual-page usr/bin/votour
• coq-theories_8.12.0-3+b3_amd64.deb (main)
  • W file-name-contains-wildcard-character usr/share/doc/coq-theories/html/index_binder_*.html
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Arith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Between.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Bool_nat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Div2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_EqNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Euclid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Even.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Factorial.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Gt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Le.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Lt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Max.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Min.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Minus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Mult.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Peano_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_PeanoNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Plus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Wf_nat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Bool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_BoolEq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_BoolOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Bvector.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_DecBool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_IfProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Sumbool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Bool/.coq-native/NCoq_Bool_Zerob.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/btauto/.coq-native/NCoq_btauto_Algebra.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/btauto/.coq-native/NCoq_btauto_Btauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/btauto/.coq-native/NCoq_btauto_Reflect.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_CEquivalence.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_CMorphisms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_CRelationClasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_DecidableClass.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Equivalence.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_EquivDec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Init.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms_Prop.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_Morphisms_Relations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_RelationClasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_RelationPairs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidClass.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidDec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_SetoidTactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_AdmitAxiom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_Coq810.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_Coq811.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Compat/.coq-native/NCoq_Compat_Coq812.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/derive/.coq-native/NCoq_derive_Derive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_Extraction.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellBasic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatInteger.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellNatNum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrHaskellZNum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlBigIntConv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlChar.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlFloats.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOCamlInt63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlIntConv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatBigInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNatInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlNativeString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlZBigInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/extraction/.coq-native/NCoq_extraction_ExtrOcamlZInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatClass.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatLemmas.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_FloatOps.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_Floats.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_PrimFloat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Floats/.coq-native/NCoq_Floats_SpecFloat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapFullAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapInterface.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapPositive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMaps.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FMapWeakList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetBridge.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetCompat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetDecide.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetEqProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetInterface.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetPositive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetToFiniteSet.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/FSets/.coq-native/NCoq_FSets_FSetWeakList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/funind/.coq-native/NCoq_funind_FunInd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/funind/.coq-native/NCoq_funind_Recdef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Byte.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Datatypes.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Decimal.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Hexadecimal.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Logic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Logic_Type.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Ltac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Nat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Notations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Numeral.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Peano.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Prelude.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Specif.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Tactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Tauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Init/.coq-native/NCoq_Init_Wf.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_List.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_ListDec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_ListSet.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_ListTactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_SetoidList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_SetoidPermutation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_StreamMemo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Lists/.coq-native/NCoq_Lists_Streams.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Berardi.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ChoiceFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Classical.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalDescription.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalEpsilon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Classical_Pred_Type.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Classical_Prop.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ClassicalUniqueChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ConstructiveEpsilon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Decidable.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Description.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Diaconescu.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Epsilon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Eqdep.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Eqdep_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_EqdepFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ExtensionalFunctionRepresentative.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ExtensionalityFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_FinFun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_FunctionalExtensionality.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_HLevels.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_Hurkens.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_IndefiniteDescription.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_JMeq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ProofIrrelevance.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_ProofIrrelevanceFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_PropExtensionality.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_PropExtensionalityFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_PropFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_RelationalChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_SetIsType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_SetoidChoice.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_StrictProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_WeakFan.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Logic/.coq-native/NCoq_Logic_WKL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_DeclConstant.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Env.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_EnvRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Fourier.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Fourier_util.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Lia.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Lqa.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Lra.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_MExtraction.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_OrderedRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Psatz.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_QMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Refl.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_RingMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_RMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Tauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_VarMap.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZArith_hints.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZCoeff.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyBool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyClasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Zify.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyComparison.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyInst.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZifyPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_ZMicromega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_Ztac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetAVL.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetDecide.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetEqProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetGenTree.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetInterface.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetPositive.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetRBT.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetToFiniteSet.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/MSets/.coq-native/NCoq_MSets_MSetWeakList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_BinNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_BinNatDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_NArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndigits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndist.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ndiv_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Ngcd_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Nnat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/NArith/.coq-native/NCoq_NArith_Nsqrt_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/nsatz/.coq-native/NCoq_nsatz_Nsatz.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/nsatz/.coq-native/NCoq_nsatz_NsatzTactic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_AltBinNotations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_BinNums.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalN.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalPos.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalQ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_DecimalZ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalNat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalN.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalPos.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalQ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_HexadecimalZ.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_NaryFunctions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/.coq-native/NCoq_Numbers_NumPrelude.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_CyclicAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_DoubleType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_NZCyclic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Cyclic31.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Int31.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int31/.coq-native/NCoq_Numbers_Cyclic_Int31_Ring31.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Cyclic63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Int63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/Int63/.coq-native/NCoq_Numbers_Cyclic_Int63_Ring63.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Cyclic/ZModulo/.coq-native/NCoq_Numbers_Cyclic_ZModulo_ZModulo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAdd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAddOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZBase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZBits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivEucl.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivFloor.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZDivTrunc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZGcd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLcm.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZLt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMaxMin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMul.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZMulOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZParity.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Abstract/.coq-native/NCoq_Numbers_Integer_Abstract_ZSgnAbs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/Binary/.coq-native/NCoq_Numbers_Integer_Binary_ZBinary.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Integer/NatPairs/.coq-native/NCoq_Numbers_Integer_NatPairs_ZNatPairs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAdd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAddOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZBase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZBits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZDiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZDomain.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZGcd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZLog.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZMul.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZMulOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZParity.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/NatInt/.coq-native/NCoq_Numbers_NatInt_NZSqrt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAdd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAddOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NAxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NBase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NBits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NDefOps.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NDiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NGcd.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NIso.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NLcm.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NLog.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMaxMin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NMulOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NOrder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NParity.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NPow.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NProperties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSqrt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NStrongRec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Abstract/.coq-native/NCoq_Numbers_Natural_Abstract_NSub.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Binary/.coq-native/NCoq_Numbers_Natural_Binary_NBinary.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Numbers/Natural/Peano/.coq-native/NCoq_Numbers_Natural_Peano_NPeano.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_Omega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_OmegaLemmas.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_OmegaPlugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_OmegaTactic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/omega/.coq-native/NCoq_omega_PreOmega.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_BinPos.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_BinPosDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_PArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_Pnat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/PArith/.coq-native/NCoq_PArith_POrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Basics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Combinators.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Equality.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Program.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Subset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Syntax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Tactics.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Utils.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Program/.coq-native/NCoq_Program_Wf.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qabs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_QArith_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_QArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qcabs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qcanon.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qfield.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qminmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_QOrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qpower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qreals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qreduction.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/QArith/.coq-native/NCoq_QArith_Qround.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveAbs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLimits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveLUB.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveMinMax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructivePower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveRealsMorphisms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Abstract/.coq-native/NCoq_Reals_Abstract_ConstructiveSum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyAbs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/Cauchy/.coq-native/NCoq_Reals_Cauchy_ConstructiveRcomplete.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Alembert.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_AltSeries.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ArithProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cauchy_prod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalConstructiveReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalDedekindReals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_plus.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_DiscrR.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Integration.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Machin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_PartSum.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_PSeries_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis3.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis4.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis5.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ratan.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Raxioms.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbasic_fun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rcomplete.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rdefinitions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rderiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Reals.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rfunctions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rgeom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt_SF.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_Ifp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RIneq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlimit.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_RList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlogic.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_ROrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpow_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rprod.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rregisternames.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsigma.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqr.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqrt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsqrt_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtopology.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_alt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_calc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_fun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Runcountable.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqProp.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitAbsolu.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitRmult.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Sqrt_reg.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Operators_Properties.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Definitions.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Operators.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/rtauto/.coq-native/NCoq_rtauto_Bintree.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/rtauto/.coq-native/NCoq_rtauto_Rtauto.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Algebra_syntax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_ArithRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_BinList.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Cring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_tac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Field_theory.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_InitialRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Integral_domain.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_NArithRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_initial.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_polynom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ncring_tac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_RealField.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_polynom.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_Q.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_R.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Rings_Z.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_tac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_Ring_theory.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/setoid_ring/.coq-native/NCoq_setoid_ring_ZArithRing.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Setoids/.coq-native/NCoq_Setoids_Setoid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Classical_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Constructive_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Cpo.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Ensembles.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Image.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Infinite_sets.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Integers.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Multiset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Partial_Order.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Permut.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_Classical_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sets/.coq-native/NCoq_Sets_Uniset.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_CPermutation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Heap.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutEq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutSetoid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorted.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorting.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrbool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrclasses.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssreflect.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrfun.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrsetoid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrunder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssrmatching/.coq-native/NCoq_ssrmatching_ssrmatching.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ssrsearch/.coq-native/NCoq_ssrsearch_ssrsearch.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_BinaryString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_Byte.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_ByteVector.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_HexString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_OctalString.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Strings/.coq-native/NCoq_Strings_String.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_Equalities.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_GenericMinMax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeAlt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedType.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeEx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersAlt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_Orders.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersEx.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersTac.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Fin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Vector.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorEq.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorSpec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inclusion.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Exponentiation.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Product.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Transitive_Closure.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Union.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Wellfounded.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Well_Ordering.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinInt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Int.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Wf_Z.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zabs.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_base.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcompare.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdigits.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdiv.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeuclid.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeven.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zhints.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zminmax.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmisc.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znumtheory.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_alt.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpower.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_facts.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zquot.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Array.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Bool.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Char.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Constr.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Control.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Env.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Fresh.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ident.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Init.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Int.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_List.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ltac1.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Ltac2.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Message.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Notations.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Option.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Pattern.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_Std.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/.coq-native/NLtac2_String.cmxs
• libcoq-ocaml_8.12.0-3+b3_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/btauto/btauto_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/cc/cc_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/derive/derive_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/extraction/extraction_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/firstorder/ground_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/funind/recdef_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ltac/ltac_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ltac/tauto_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/micromega/micromega_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/micromega/zify_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/omega/omega_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ssrsearch/ssrsearch_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/ssr/ssreflect_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/float_syntax_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/int63_syntax_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/r_syntax_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/plugins/syntax/string_notation_plugin.cmxs
  • W shared-library-lacks-prerequisites usr/lib/coq/user-contrib/Ltac2/ltac2_plugin.cmxs
• libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb (main)
  • E ocaml-dangling-cmx usr/lib/coq/plugins/btauto/g_btauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/btauto/refl_btauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/ccalgo.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/ccproof.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/cctac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/cc/g_congruence.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/derive/derive.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/derive/g_derive.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/common.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/extract_env.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/extraction.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/g_extraction.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/haskell.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/json.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/miniml.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/mlutil.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/modutil.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/ocaml.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/scheme.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/extraction/table.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/formula.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/g_ground.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/ground.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/instances.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/rules.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/sequent.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/firstorder/unify.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/functional_principles_proofs.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/functional_principles_types.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/gen_principle.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/g_indfun.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/glob_termops.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/glob_term_to_relation.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/indfun.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/indfun_common.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/invfun.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/funind/recdef.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/coretactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/evar_tactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/extraargs.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/extratactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_auto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_class.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_eqdecide.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_ltac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_obligations.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_rewrite.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/g_tactic.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/leminv.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/pltac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/pptactic.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/profile_ltac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/profile_ltac_tactics.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/rewrite.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacarg.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/taccoerce.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacentries.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacenv.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacexpr.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacintern.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacinterp.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tacsubst.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tactic_debug.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tactic_matching.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tactic_option.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ltac/tauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/certificate.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/coq_micromega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/csdpcert.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/g_micromega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/g_zify.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/itv.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/mfourier.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/micromega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/mutils.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/numCompat.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/persistent_cache.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/polynomial.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/simplex.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/sos.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/sos_lib.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/sos_types.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/vect.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/micromega/zify.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/g_nsatz.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/ideal.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/nsatz.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/polynom.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/nsatz/utile.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/omega/coq_omega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/omega/g_omega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/omega/omega.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/rtauto/g_rtauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/rtauto/proof_search.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/rtauto/refl_tauto.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/setoid_ring/g_newring.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/setoid_ring/newring_ast.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/setoid_ring/newring.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssrmatching/g_ssrmatching.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssrmatching/ssrmatching.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssrsearch/g_search.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrbwd.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrcommon.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrelim.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrequality.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrfwd.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssripats.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrparser.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrprinters.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrtacticals.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrvernac.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/ssr/ssrview.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/float_syntax.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/g_numeral.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/g_string.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/int63_syntax.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/numeral.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/r_syntax.cmx
  • E ocaml-dangling-cmx usr/lib/coq/plugins/syntax/string_notation.cmx
  • E ocaml-dangling-cmx usr/lib/coq/proofs/tactypes.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqc_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqproofworker_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqqueryworker_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqtacticworker_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/topbin/coqtop_bin.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/g_ltac2.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2core.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2dyn.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2entries.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2env.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2extffi.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2ffi.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2intern.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2interp.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2match.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2print.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2quote.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2stdlib.cmx
  • E ocaml-dangling-cmx usr/lib/coq/user-contrib/Ltac2/tac2tactics.cmx
• lablgtkmathview 0.7.8-7
• lablgtkmathview_0.7.8-7.dsc (main)
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/lablgtkmathview.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-ocaml-maint/packages/lablgtkmathview.git
• linux-wlan-ng 0.2.9+dfsg-6
• linux-wlan-ng_0.2.9+dfsg-6.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 7
  • W vcs-obsolete-in-debian-infrastructure Browser http://anonscm.debian.org/cgit/collab-maint/linux-wlan-ng.git/
  • W vcs-obsolete-in-debian-infrastructure Git git://anonscm.debian.org/collab-maint/linux-wlan-ng.git
• linux-wlan-ng_0.2.9+dfsg-6_amd64.deb (main)
  • W hardening-no-pie sbin/nwepgen
  • W hardening-no-pie sbin/wlancfg
  • W hardening-no-pie sbin/wlanctl-ng
  • W priority-extra-is-replaced-by-priority-optional
• linux-wlan-ng-doc_0.2.9+dfsg-6_all.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• linux-wlan-ng-firmware_0.2.9+dfsg-6_all.deb (contrib)
  • W binary-package-depends-on-toolchain-package Depends: debhelper
  • W priority-extra-is-replaced-by-priority-optional
• prism2-usb-firmware-installer_0.2.9+dfsg-6_amd64.deb (contrib)
  • W hardening-no-pie usr/bin/srec2fw
  • W priority-extra-is-replaced-by-priority-optional
• lua50 5.0.3-8.1
• lua50_5.0.3-8.1.dsc (main)
  • W dh-clean-k-is-deprecated
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 5
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua50.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua50.git
• liblua50_5.0.3-8.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua50-5.0
• liblua50-dev_5.0.3-8.1_amd64.deb (main)
  • W pkg-config-unavailable-for-cross-compilation usr/lib/pkgconfig/lua50.pc
  • W symlink-is-self-recursive usr/include/lua50/lua .
• liblualib50_5.0.3-8.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblualib50-5.0
• liblualib50-dev_5.0.3-8.1_amd64.deb (main)
  • W pkg-config-unavailable-for-cross-compilation usr/lib/pkgconfig/lualib50.pc
• lua50_5.0.3-8.1_amd64.deb (main)
  • W national-encoding usr/share/doc/lua50/examples/life.lua
• lua5.1 5.1.5-8.1
• lua5.1_5.1.5-8.1.dsc (main)
  • W debian-rules-ignores-make-clean-error line 50
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua5.1.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua5.1.git
• liblua5.1-0-dbg_5.1.5-8.1+b3_amd64.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• lua5.1-doc_5.1.5-8.1_all.deb (main)
  • W national-encoding usr/share/doc/lua5.1-doc/test/life.lua
• lua5.1-policy 33+nmu1
• lua5.1-policy_33+nmu1.dsc (main)
  • W homepage-refers-to-obsolete-debian-infrastructure http://pkg-lua.alioth.debian.org/
  • W no-nmu-in-changelog
  • W obsolete-url-in-packaging debian/copyright ftp://ftp.debian.org
  • W package-uses-deprecated-debhelper-compat-version 5
  • W vcs-obsolete-in-debian-infrastructure Browser http://svn.debian.org/viewsvn/pkg-lua/packages/lua5.1-policy
  • W vcs-obsolete-in-debian-infrastructure Svn svn://svn.debian.org/pkg-lua/packages/lua5.1-policy
• lua5.1-policy_33+nmu1_all.deb (main)
  • W homepage-refers-to-obsolete-debian-infrastructure http://pkg-lua.alioth.debian.org/
• lua5.1-policy-dev_33+nmu1_all.deb (main)
  • W binary-package-depends-on-toolchain-package Depends: cdbs (>= 0.4.33)
  • W homepage-refers-to-obsolete-debian-infrastructure http://pkg-lua.alioth.debian.org/
  • W script-not-executable usr/share/lua5.1-policy-dev/rules
• lua5.2 5.2.4-1.1
• lua5.2_5.2.4-1.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua5.2.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua5.2.git
• liblua5.2-0-dbg_5.2.4-1.1+b3_amd64.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• lua5.3 5.3.3-1.1
• lua5.3_5.3.3-1.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
• liblua5.3-0-dbg_5.3.3-1.1+b1_amd64.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
• lua-apr 0.23.2.dfsg-4
• lua-apr_0.23.2.dfsg-4.dsc (main)
  • W global-files-wildcard-not-first-paragraph-in-dep5-copyright debian/copyright (line 14)
  • W globbing-patterns-out-of-order debian/copyright src/ldap.c * src/ldap.c
  • W package-uses-deprecated-debhelper-compat-version 7
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-apr.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-apr.git
• lua-apr_0.23.2.dfsg-4_amd64.deb (main)
  • E lacks-ldconfig-trigger usr/lib/x86_64-linux-gnu/liblua5.1-apr.so.1.0.0
  • W maintscript-calls-ldconfig postinst
  • W maintscript-calls-ldconfig postrm
  • W package-name-doesnt-match-sonames liblua5.1-apr1
• lua-bit32 5.3.0-3
• lua-bit32_5.3.0-3.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/git/pkg-lua/lua-bit32.git
  • W vcs-obsolete-in-debian-infrastructure Git git://anonscm.debian.org/pkg-lua/lua-bit32.git
• lua-bit32_5.3.0-3_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-bit32-0
• lua-bitop 1.0.2-5
• lua-bitop_1.0.2-5.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-bitop.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-bitop.git
• liblua5.1-bitop-dev_1.0.2-5_all.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
  • W transitional-package-not-oldlibs-optional oldlibs/extra
• liblua5.1-bitop0_1.0.2-5_all.deb (main)
  • W priority-extra-is-replaced-by-priority-optional
  • W transitional-package-not-oldlibs-optional oldlibs/extra
• lua-bitop_1.0.2-5_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-bitop0 liblua5.2-bitop0
• lua-cgi 5.2~alpha2-1.1
• lua-cgi_5.2~alpha2-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/luacgi.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-cgi.git
• lua-cgi_5.2~alpha2-1.1_all.deb (main)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-cgi/doc/br/index.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-cgi/doc/br/libraries.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-cgi/doc/br/license.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-cgi/doc/br/manual.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-cgi/doc/br/reference.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-cgi/doc/br/sapi.html (http://www.w3.org/icons/valid-xhtml10)
  • W embedded-javascript-library usr/share/doc/lua-cgi/examples/jquery/jquery-1.2.3.js please use libjs-jquery
  • W embedded-javascript-library usr/share/doc/lua-cgi/examples/jquery/jquery-1.2.3.min.js please use libjs-jquery
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/br/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/br/libraries.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/br/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/br/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/br/reference.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/br/sapi.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/us/libraries.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/us/reference.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-cgi/doc/us/sapi.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• lua-copas 1.2.0-1.1
• lua-copas_1.2.0-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-copas.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-copas.git
• lua-copas_1.2.0-1.1_all.deb (main)
  • W privacy-breach-generic usr/share/doc/lua-copas/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-copas/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-copas/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-copas/us/reference.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• lua-cosmo 13.01.30-2.1
• lua-cosmo_13.01.30-2.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-cosmo.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-cosmo.git
• lua-curl 0.3.0-9.2
• lua-curl_0.3.0-9.2.dsc (main)
  • W invalid-short-name-in-dep5-copyright debian/copyright gpl2 (line 10)
  • W invalid-short-name-in-dep5-copyright debian/copyright gpl2 (line 8)
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://svn.debian.org/viewsvn/pkg-lua/packages/lua-curl
  • W vcs-obsolete-in-debian-infrastructure Svn svn://svn.debian.org/pkg-lua/packages/lua-curl
• lua-curl_0.3.0-9.2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-curl0 liblua5.2-curl0
• lua-cyrussasl 1.1.0-2
• lua-cyrussasl_1.1.0-2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-cyrussasl0 liblua5.2-cyrussasl0 liblua5.3-cyrussasl0 liblua5.4-cyrussasl0
• lua-dbi 0.7.2-2
• lua-dbi-common_0.7.2-2_all.deb (main)
  • W script-not-executable usr/share/lua/5.1/DBI.lua
• lua-dbi-mysql_0.7.2-2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-dbi-mysql0 liblua5.2-dbi-mysql0 liblua5.3-dbi-mysql0
• lua-dbi-postgresql_0.7.2-2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-dbi-postgresql0 liblua5.2-dbi-postgresql0 liblua5.3-dbi-postgresql0
• lua-dbi-sqlite3_0.7.2-2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-dbi-sqlite3-0 liblua5.2-dbi-sqlite3-0 liblua5.3-dbi-sqlite3-0
• lua-discount 2.1.8-3
• lua-discount_2.1.8-3.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/cgit/pkg-lua/lua-discount.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/pkg-lua/lua-discount.git
• lua-doc 3.0.1+gitdb9e868-1.1
• lua-doc_3.0.1+gitdb9e868-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-leg.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-leg.git
• luadoc_3.0.1+gitdb9e868-1.1_all.deb (main)
  • E privacy-breach-w3c-valid-html usr/share/doc/luadoc/us/architecture.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/luadoc/us/examples.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/luadoc/us/index.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/luadoc/us/license.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/luadoc/us/manual.html (http://www.w3.org/icons/valid-xhtml10)
  • W privacy-breach-generic usr/share/doc/luadoc/us/architecture.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css" />] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/luadoc/us/examples.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css" />] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/luadoc/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css" />] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/luadoc/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css" />] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/luadoc/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css" />] (http://www.keplerproject.org/doc.css)
• lua-event 0.4.6-1
• lua-event_0.4.6-1.dsc (main)
  • W incorrect-packaging-filename debian/TODO.Debian -> debian/TODO
• lua-event_0.4.6-1+b2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-event0 liblua5.2-event0 liblua5.3-event0
• lua-expat 1.3.0-4
• lua-expat_1.3.0-4.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 7
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-expat.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-expat.git
• lua-expat_1.3.0-4+b1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-expat0 liblua5.2-expat0 liblua5.3-expat0
• lua-expat-dev_1.3.0-4+b1_amd64.deb (main)
  • W privacy-breach-generic usr/share/doc/lua-expat-dev/us/examples.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-expat-dev/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-expat-dev/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-expat-dev/us/lom.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-expat-dev/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• lua-filesystem 1.8.0-1
• lua-filesystem_1.8.0-1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-filesystem0 liblua5.2-filesystem0 liblua5.3-filesystem0 liblua5.4-filesystem0
• lua-ldap 1.2.5-1
• lua-ldap_1.2.5-1+b1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-ldap0 liblua5.2-ldap0 liblua5.3-ldap0
• lua-ldoc 1.4.6-1
• lua-ldoc_1.4.6-1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/cgit/pkg-lua/lua-ldoc.git
  • W vcs-obsolete-in-debian-infrastructure Git git://anonscm.debian.org/pkg-lua/lua-ldoc.git
• lua-ldoc_1.4.6-1_all.deb (main)
  • W spelling-error-in-changelog neccessary necessary
  • W unusual-interpreter usr/bin/ldoc lua-any
• lua-leg 0.1.3-1.1
• lua-leg_0.1.3-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-leg.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-leg.git
• lua-leg_0.1.3-1.1_all.deb (main)
  • W national-encoding usr/share/lua/5.1/leg/scanner.lua
• lua-leg-dev_0.1.3-1.1_all.deb (main)
  • W national-encoding usr/share/doc/lua-leg-dev/examples/syntax-highlighting.lua
• lua-lgi 0.9.2-2
• lua-lgi_0.9.2-2.dsc (main)
  • W uses-deprecated-adttmp debian/tests/awesome (line 29)
  • W uses-deprecated-adttmp debian/tests/awesome (line 3)
  • W uses-deprecated-adttmp debian/tests/awesome (line 4)
• lua-lgi_0.9.2-2+b1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-lgi0 liblua5.2-lgi0 liblua5.3-lgi0
• lua-logging 1.3.0-1.1
• lua-logging_1.3.0-1.1.dsc (main)
  • W empty-short-license-in-dep5-copyright debian/copyright (line 8)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-logging.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-logging.git
• lua-lpeg 1.0.2-1
• lua-lpeg_1.0.2-1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-lpeg2 liblua5.2-lpeg2 liblua5.3-lpeg2
• lua-lpeg-dev_1.0.2-1_amd64.deb (main)
  • W privacy-breach-generic usr/share/doc/lua-lpeg-dev/lpeg.html [<link rel="stylesheet"\n href="http://www.inf.puc-rio.br/~roberto/lpeg/doc.css"\n type="text/css"/>] (http://www.inf.puc-rio.br/~roberto/lpeg/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-lpeg-dev/re.html [<link rel="stylesheet"\n href="http://www.inf.puc-rio.br/~roberto/lpeg/doc.css"\n type="text/css"/>] (http://www.inf.puc-rio.br/~roberto/lpeg/doc.css)
• lua-lpty 1.0.1-1.1
• lua-lpty_1.0.1-1.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-lpty.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-lpty.git
• lua-lpty_1.0.1-1.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-lpty0 liblua5.2-lpty0
• lua-markdown 0.32-5.1
• lua-markdown_0.32-5.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-markdown.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-markdown.git
• lua-md5 1.2+git+1+8d87fee-1.1
• lua-md5_1.2+git+1+8d87fee-1.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-md5.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-md5.git
• lua-md5_1.2+git+1+8d87fee-1.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-des56-0 liblua5.1-md5-0 liblua5.2-des56-0 liblua5.2-md5-0
• lua-md5-dev_1.2+git+1+8d87fee-1.1_amd64.deb (main)
  • W privacy-breach-generic usr/share/doc/lua-md5-dev/doc/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-md5-dev/doc/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-md5-dev/doc/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• lua-orbit 2.2.1+dfsg-1.1
• lua-orbit_2.2.1+dfsg-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-orbit.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-orbit.git
• lua-orbit_2.2.1+dfsg-1.1_all.deb (main)
  • W privacy-breach-generic usr/share/doc/lua-orbit/doc/us/example.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-orbit/doc/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-orbit/doc/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-orbit/doc/us/pages.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-orbit/doc/us/reference.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• lua-penlight 1.3.2-2.1
• lua-penlight_1.3.2-2.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://svn.debian.org/viewsvn/pkg-lua/packages/lua-penlight
  • W vcs-obsolete-in-debian-infrastructure Svn svn://svn.debian.org/pkg-lua/packages/lua-penlight
• lua-rexlib 2.7.2-4.1
• lua-rexlib_2.7.2-4.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-rexlib.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-rexlib.git
• lua-rex-gnu_2.7.2-4.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-rex-gnu0 liblua5.2-rex-gnu0
• lua-rex-onig_2.7.2-4.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-rex-onig0 liblua5.2-rex-onig0
• lua-rex-pcre_2.7.2-4.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-rex-pcre0 liblua5.2-rex-pcre0
• lua-rex-posix_2.7.2-4.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-rex-posix0 liblua5.2-rex-posix0
• lua-rex-tre_2.7.2-4.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-rex-tre0 liblua5.2-rex-tre0
• lua-rings 1.3.0-3.1
• lua-rings_1.3.0-3.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-rings.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-rings.git
• lua-rings_1.3.0-3.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-rings0 liblua5.2-rings0
• lua-rings-dev_1.3.0-3.1_amd64.deb (main)
  • W privacy-breach-generic usr/share/doc/lua-rings-dev/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-rings-dev/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-rings-dev/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• luarocks 2.4.2+dfsg-1.1
• luarocks_2.4.2+dfsg-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W no-versioned-debhelper-prerequisite 9
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://svn.debian.org/viewsvn/pkg-lua/packages/luarocks
  • W vcs-obsolete-in-debian-infrastructure Svn svn://svn.debian.org/pkg-lua/packages/luarocks
• luarocks_2.4.2+dfsg-1.1_all.deb (main)
  • W unusual-interpreter usr/bin/luarocks-admin lua-any
  • W unusual-interpreter usr/bin/luarocks lua-any
• lua-sec 1.0-1
• lua-sec_1.0-1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-sec1 liblua5.2-sec1 liblua5.3-sec1
• lua-soap 3.0+git91419a7-1.1
• lua-soap_3.0+git91419a7-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W patch-file-present-but-not-mentioned-in-series socket.patch
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-soap.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-soap.git
• lua-soap_3.0+git91419a7-1.1_all.deb (main)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-soap/doc/us/examples.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-soap/doc/us/index.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-soap/doc/us/license.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-soap/doc/us/manual.html (http://www.w3.org/icons/valid-xhtml10)
  • W privacy-breach-generic usr/share/doc/lua-soap/doc/us/examples.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-soap/doc/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-soap/doc/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-soap/doc/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• luasocket 3.0~rc1+git+ac3201d-4
• luasocket_3.0~rc1+git+ac3201d-4.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser https://anonscm.debian.org/git/pkg-lua/luasocket.git
  • W vcs-obsolete-in-debian-infrastructure Git https://anonscm.debian.org/git/pkg-lua/luasocket.git
• lua-socket_3.0~rc1+git+ac3201d-4_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-mime2 liblua5.1-socket-serial0 liblua5.1-socket-unix2 liblua5.1-socket2 liblua5.2-mime2 liblua5.2-socket-serial0 liblua5.2-socket-unix2 liblua5.2-socket2 liblua5.3-mime2 liblua5.3-socket-serial0 liblua5.3-socket-unix2 liblua5.3-socket2
• lua-socket-dev_3.0~rc1+git+ac3201d-4_amd64.deb (main)
  • W national-encoding usr/share/doc/lua-socket-dev/doc/mime.html
• lua-sql 2.3.4-1.1
• lua-sql_2.3.4-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://svn.debian.org/viewsvn/pkg-lua/packages/lua-sql
  • W vcs-obsolete-in-debian-infrastructure Svn svn://svn.debian.org/pkg-lua/packages/lua-sql
• lua-sql-doc_2.3.4-1.1_all.deb (main)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-sql-doc/br/examples.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-sql-doc/br/history.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-sql-doc/br/index.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-sql-doc/br/license.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-sql-doc/br/manual.html (http://www.w3.org/icons/valid-xhtml10)
• lua-sql-mysql_2.3.4-1.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-sql-mysql2 liblua5.2-sql-mysql2 liblua5.3-sql-mysql2
• lua-sql-odbc_2.3.4-1.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-sql-odbc2 liblua5.2-sql-odbc2 liblua5.3-sql-odbc2
• lua-sql-postgres_2.3.4-1.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-sql-postgres2 liblua5.2-sql-postgres2 liblua5.3-sql-postgres2
• lua-sql-sqlite3_2.3.4-1.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-sql-sqlite3-2 liblua5.2-sql-sqlite3-2 liblua5.3-sql-sqlite3-2
• lua-svn 0.4.0-9.1
• lua-svn_0.4.0-9.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-svn.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-svn.git
• lua-svn_0.4.0-9.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-svn1
• lua-unbound 0.5-2
• lua-unbound_0.5-2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-unbound0 liblua5.2-unbound0 liblua5.3-unbound0 liblua5.4-unbound0
• lua-unit 3.3-1.1
• lua-unit_3.3-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W sphinxdoc-but-no-sphinxdoc-depends
• lua-wsapi 1.6.1-1.1
• lua-wsapi_1.6.1-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-wsapi.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-wsapi.git
• lua-wsapi-fcgi_1.6.1-1.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-wsapi-fcgi1 liblua5.2-wsapi-fcgi1
• lua-xmlrpc 1.2.1-7.1
• lua-xmlrpc_1.2.1-7.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-xmlrpc.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-xmlrpc.git
• lua-xmlrpc_1.2.1-7.1_all.deb (main)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-xmlrpc/doc/examples.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-xmlrpc/doc/index.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-xmlrpc/doc/license.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-xmlrpc/doc/manual.html (http://www.w3.org/icons/valid-xhtml10)
  • W privacy-breach-generic usr/share/doc/lua-xmlrpc/doc/examples.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-xmlrpc/doc/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-xmlrpc/doc/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-xmlrpc/doc/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• lua-zip 1.2.3-12.1
• lua-zip_1.2.3-12.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 9
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/lua-zip.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/lua-zip.git
• lua-zip_1.2.3-12.1_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-zip0
• lua-zip-dev_1.2.3-12.1_amd64.deb (main)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-zip-dev/us/examples.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-zip-dev/us/index.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-zip-dev/us/license.html (http://www.w3.org/icons/valid-xhtml10)
  • E privacy-breach-w3c-valid-html usr/share/doc/lua-zip-dev/us/manual.html (http://www.w3.org/icons/valid-xhtml10)
  • W privacy-breach-generic usr/share/doc/lua-zip-dev/us/examples.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-zip-dev/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-zip-dev/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/lua-zip-dev/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• lua-zlib 1.2-2
• lua-zlib_1.2-2_amd64.deb (main)
  • W package-name-doesnt-match-sonames liblua5.1-zlib0 liblua5.2-zlib0 liblua5.3-zlib0 liblua5.4-zlib0
• matita 0.99.3-1
• matita_0.99.3-1.dsc (main)
  • W incorrect-packaging-filename debian/TODO.Debian -> debian/TODO
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
• matita_0.99.3-1+b2_amd64.deb (main)
  • W command-in-menu-file-and-desktop-file matita usr/share/menu/matita:6
  • W no-manual-page usr/bin/matita
  • W no-manual-page usr/bin/matita.opt
  • W script-not-executable usr/share/matita/lib/formal_topology/replace.sh
• ocurl 0.9.1-1
• libcurl-ocaml_0.9.1-1+b4_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/ocaml/curl/curl_lwt.cmxs
• prosody 0.11.9-1
• prosody_0.11.9-1.dsc (main)
  • W orig-tarball-missing-upstream-signature prosody_0.11.9.orig.tar.gz
• prosody_0.11.9-1_amd64.deb (main)
  • W shared-library-lacks-prerequisites usr/lib/prosody/util/compat.so
  • W shared-library-lacks-prerequisites usr/lib/prosody/util/table.so
• prosody-modules 0.0~hg20210130.dd3bfe8f182e+dfsg-2
• prosody-modules_0.0~hg20210130.dd3bfe8f182e+dfsg-2.dsc (main)
  • W empty-short-license-in-dep5-copyright debian/copyright (line 464)
• shake 1.0.2-1.1
• shake_1.0.2-1.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/shake.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/shake.git
• shake_1.0.2-1.1_all.deb (main)
  • W privacy-breach-generic usr/share/doc/shake/doc/us/examples.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/shake/doc/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/shake/doc/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
• sputnik 12.06.27-2.1
• sputnik_12.06.27-2.1.dsc (main)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://svn.debian.org/viewsvn/pkg-lua/packages/sputnik
  • W vcs-obsolete-in-debian-infrastructure Svn svn://svn.debian.org/pkg-lua/packages/sputnik
• sputnik_12.06.27-2.1_all.deb (main)
  • E privacy-breach-logo usr/share/doc/sputnik/docs/diff/index.html (http://media.freewisdom.org/etc/sputnik-icon.png)
  • E privacy-breach-logo usr/share/doc/sputnik/docs/saci/index.html (http://media.freewisdom.org/etc/sputnik-icon.png)
  • W privacy-breach-generic usr/share/doc/sputnik/docs/recaptcha/index.html [<link rel="shortcut icon" href="http://media.freewisdom.org/etc/recaptcha.ico"/>] (http://media.freewisdom.org/etc/recaptcha.ico)
• ssreflect 1.12.0-1
• libssreflect-coq_1.12.0-1_all.deb (main)
  • W file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_binder_*.html
• syncmaildir 1.3.0-1.1
• syncmaildir_1.3.0-1.1.dsc (main)
  • W package-uses-deprecated-debhelper-compat-version 7
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=collab-maint/syncmaildir.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/collab-maint/syncmaildir.git
• widelands 1:21-1
• widelands_21-1.dsc (main)
  • W inconsistent-appstream-metadata-license debian/copyright xdg/org.widelands.Widelands.appdata.xml (cc0-1.0 != gpl-2+)
• xavante 2.3.0-1.1
• xavante_2.3.0-1.1.dsc (main)
  • W invalid-short-name-in-dep5-copyright debian/copyright bsd (line 34)
  • W no-nmu-in-changelog
  • W package-uses-deprecated-debhelper-compat-version 8
  • W vcs-obsolete-in-debian-infrastructure Browser http://git.debian.org/?p=pkg-lua/xavante.git
  • W vcs-obsolete-in-debian-infrastructure Git git://git.debian.org/git/pkg-lua/xavante.git
• xavante_2.3.0-1.1_all.deb (main)
  • E init.d-script-needs-depends-on-lsb-base etc/init.d/xavante (line 15)
  • W missing-systemd-service-for-init.d-script xavante
• xavante-doc_2.3.0-1.1_all.deb (main)
  • W privacy-breach-generic usr/share/doc/xavante-doc/doc/us/experimental.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/xavante-doc/doc/us/index.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/xavante-doc/doc/us/license.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/xavante-doc/doc/us/manual.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)
  • W privacy-breach-generic usr/share/doc/xavante-doc/doc/us/sajax.html [<link rel="stylesheet" href="http://www.keplerproject.org/doc.css" type="text/css"/>] (http://www.keplerproject.org/doc.css)