OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq /theories /Classes /.coq-native

• NCoq_Classes_CEquivalence.cmi
• NCoq_Classes_CEquivalence.cmxs
• NCoq_Classes_CMorphisms.cmi
• NCoq_Classes_CMorphisms.cmxs
• NCoq_Classes_CRelationClasses.cmi
• NCoq_Classes_CRelationClasses.cmxs
• NCoq_Classes_DecidableClass.cmi
• NCoq_Classes_DecidableClass.cmxs
• NCoq_Classes_EquivDec.cmi
• NCoq_Classes_EquivDec.cmxs
• NCoq_Classes_Equivalence.cmi
• NCoq_Classes_Equivalence.cmxs
• NCoq_Classes_Init.cmi
• NCoq_Classes_Init.cmxs
• NCoq_Classes_Morphisms.cmi
• NCoq_Classes_Morphisms.cmxs
• NCoq_Classes_Morphisms_Prop.cmi
• NCoq_Classes_Morphisms_Prop.cmxs
• NCoq_Classes_Morphisms_Relations.cmi
• NCoq_Classes_Morphisms_Relations.cmxs
• NCoq_Classes_RelationClasses.cmi
• NCoq_Classes_RelationClasses.cmxs
• NCoq_Classes_RelationPairs.cmi
• NCoq_Classes_RelationPairs.cmxs
• NCoq_Classes_SetoidClass.cmi
• NCoq_Classes_SetoidClass.cmxs
• NCoq_Classes_SetoidDec.cmi
• NCoq_Classes_SetoidDec.cmxs
• NCoq_Classes_SetoidTactics.cmi
• NCoq_Classes_SetoidTactics.cmxs

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:22:04 2024