skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Array/ArrayAxioms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Array/ArrayAxioms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Array/ArrayAxioms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Array/PrimArray.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Array/PrimArray.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Array/PrimArray.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/IntDef.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/IntDef.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/IntDef.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/NatDef.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/NatDef.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/NatDef.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/PosDef.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/PosDef.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/BinNums/PosDef.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CMorphisms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CMorphisms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CMorphisms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CRelationClasses.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CRelationClasses.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CRelationClasses.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Equivalence.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Equivalence.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Equivalence.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Init.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Init.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Init.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Morphisms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Morphisms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Morphisms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Morphisms_Prop.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Morphisms_Prop.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/Morphisms_Prop.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/RelationClasses.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/RelationClasses.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/RelationClasses.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/SetoidTactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/SetoidTactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/SetoidTactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq818.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq818.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq818.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq819.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq819.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq819.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq820.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq820.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Coq820.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Rocq90.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Rocq90.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Compat/Rocq90.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatAxioms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatAxioms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatAxioms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatClass.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatClass.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatClass.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatOps.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatOps.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/FloatOps.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/PrimFloat.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/PrimFloat.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/PrimFloat.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/SpecFloat.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/SpecFloat.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Floats/SpecFloat.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Byte.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Byte.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Byte.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Datatypes.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Datatypes.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Datatypes.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Decimal.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Decimal.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Decimal.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Hexadecimal.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Hexadecimal.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Hexadecimal.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Logic.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Logic.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Logic.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Ltac.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Ltac.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Ltac.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Nat.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Nat.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Nat.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Notations.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Notations.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Notations.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Number.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Number.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Number.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Peano.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Peano.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Peano.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Prelude.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Prelude.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Prelude.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Specif.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Specif.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Specif.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Sumbool.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Sumbool.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Sumbool.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Tactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Tactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Tactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Tauto.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Tauto.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Tauto.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Wf.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Wf.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Init/Wf.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Lists/ListDef.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Lists/ListDef.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Lists/ListDef.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/BinNums.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/BinNums.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/BinNums.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/CarryType.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/CarryType.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/CarryType.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/PrimInt63.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/PrimInt63.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/PrimInt63.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/Sint63Axioms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/Sint63Axioms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/Sint63Axioms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/Uint63Axioms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/Uint63Axioms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Numbers/Cyclic/Int63/Uint63Axioms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Basics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Basics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Basics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Tactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Tactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Tactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Utils.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Utils.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Utils.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Wf.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Wf.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Program/Wf.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Relations/Relation_Definitions.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Relations/Relation_Definitions.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Relations/Relation_Definitions.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Setoids/Setoid.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Setoids/Setoid.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Setoids/Setoid.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimString.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimString.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimString.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimStringAxioms.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimStringAxioms.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Strings/PrimStringAxioms.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/derive/Derive.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/derive/Derive.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/derive/Derive.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/ExtrHaskellBasic.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/ExtrHaskellBasic.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/ExtrHaskellBasic.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/ExtrOcamlBasic.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/ExtrOcamlBasic.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/ExtrOcamlBasic.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/Extraction.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/Extraction.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/extraction/Extraction.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrbool.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrbool.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrbool.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrclasses.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrclasses.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrclasses.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssreflect.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssreflect.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssreflect.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrfun.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrfun.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrfun.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrsetoid.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrsetoid.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrsetoid.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrunder.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrunder.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssr/ssrunder.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssrmatching/ssrmatching.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssrmatching/ssrmatching.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/ssrmatching/ssrmatching.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Array.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Array.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Array.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Bool.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Bool.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Bool.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Char.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Char.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Char.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Compat/Coq818.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Compat/Coq818.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Compat/Coq818.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Compat/Coq819.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Compat/Coq819.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Compat/Coq819.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constant.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constant.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constant.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constr.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constr.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constr.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constructor.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constructor.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Constructor.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Control.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Control.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Control.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Env.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Env.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Env.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Evar.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Evar.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Evar.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/FMap.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/FMap.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/FMap.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/FSet.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/FSet.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/FSet.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Float.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Float.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Float.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Fresh.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Fresh.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Fresh.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ident.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ident.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ident.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ind.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ind.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ind.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Init.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Init.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Init.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Int.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Int.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Int.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Lazy.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Lazy.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Lazy.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/List.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/List.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/List.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac1.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac1.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac1.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac1CompatNotations.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac1CompatNotations.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac1CompatNotations.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac2.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac2.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ltac2.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Message.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Message.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Message.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Meta.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Meta.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Meta.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Notations.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Notations.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Notations.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Option.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Option.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Option.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Pattern.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Pattern.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Pattern.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Printf.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Printf.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Printf.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Proj.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Proj.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Proj.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Pstring.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Pstring.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Pstring.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/RedFlags.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/RedFlags.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/RedFlags.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ref.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ref.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Ref.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Rewrite.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Rewrite.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Rewrite.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Std.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Std.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Std.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/String.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/String.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/String.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/TransparentState.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/TransparentState.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/TransparentState.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Uint63.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Uint63.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Uint63.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Unification.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Unification.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ltac2/Unification.vo
/usr/share/doc/libcoq-core/changelog.Debian.gz
/usr/share/doc/libcoq-core/copyright
/var/lib/coq/md5sums/libcoq-core.checksum