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

• NCoq_Numbers_NatInt_NZAdd.cmi
• NCoq_Numbers_NatInt_NZAdd.cmxs
• NCoq_Numbers_NatInt_NZAddOrder.cmi
• NCoq_Numbers_NatInt_NZAddOrder.cmxs
• NCoq_Numbers_NatInt_NZAxioms.cmi
• NCoq_Numbers_NatInt_NZAxioms.cmxs
• NCoq_Numbers_NatInt_NZBase.cmi
• NCoq_Numbers_NatInt_NZBase.cmxs
• NCoq_Numbers_NatInt_NZBits.cmi
• NCoq_Numbers_NatInt_NZBits.cmxs
• NCoq_Numbers_NatInt_NZDiv.cmi
• NCoq_Numbers_NatInt_NZDiv.cmxs
• NCoq_Numbers_NatInt_NZDomain.cmi
• NCoq_Numbers_NatInt_NZDomain.cmxs
• NCoq_Numbers_NatInt_NZGcd.cmi
• NCoq_Numbers_NatInt_NZGcd.cmxs
• NCoq_Numbers_NatInt_NZLog.cmi
• NCoq_Numbers_NatInt_NZLog.cmxs
• NCoq_Numbers_NatInt_NZMul.cmi
• NCoq_Numbers_NatInt_NZMul.cmxs
• NCoq_Numbers_NatInt_NZMulOrder.cmi
• NCoq_Numbers_NatInt_NZMulOrder.cmxs
• NCoq_Numbers_NatInt_NZOrder.cmi
• NCoq_Numbers_NatInt_NZOrder.cmxs
• NCoq_Numbers_NatInt_NZParity.cmi
• NCoq_Numbers_NatInt_NZParity.cmxs
• NCoq_Numbers_NatInt_NZPow.cmi
• NCoq_Numbers_NatInt_NZPow.cmxs
• NCoq_Numbers_NatInt_NZProperties.cmi
• NCoq_Numbers_NatInt_NZProperties.cmxs
• NCoq_Numbers_NatInt_NZSqrt.cmi
• NCoq_Numbers_NatInt_NZSqrt.cmxs

Generated by rpm2html 1.8.1

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