OpenSuSE Leap 15.5 for ppc64le : / usr /lib64 /coq /theories /Numbers /Natural /Abstract

• .coq-native
• NAdd.glob
• NAdd.v
• NAdd.vo
• NAddOrder.glob
• NAddOrder.v
• NAddOrder.vo
• NAxioms.glob
• NAxioms.v
• NAxioms.vo
• NBase.glob
• NBase.v
• NBase.vo
• NBits.glob
• NBits.v
• NBits.vo
• NDefOps.glob
• NDefOps.v
• NDefOps.vo
• NDiv.glob
• NDiv.v
• NDiv.vo
• NGcd.glob
• NGcd.v
• NGcd.vo
• NIso.glob
• NIso.v
• NIso.vo
• NLcm.glob
• NLcm.v
• NLcm.vo
• NLog.glob
• NLog.v
• NLog.vo
• NMaxMin.glob
• NMaxMin.v
• NMaxMin.vo
• NMulOrder.glob
• NMulOrder.v
• NMulOrder.vo
• NOrder.glob
• NOrder.v
• NOrder.vo
• NParity.glob
• NParity.v
• NParity.vo
• NPow.glob
• NPow.v
• NPow.vo
• NProperties.glob
• NProperties.v
• NProperties.vo
• NSqrt.glob
• NSqrt.v
• NSqrt.vo
• NStrongRec.glob
• NStrongRec.v
• NStrongRec.vo
• NSub.glob
• NSub.v
• NSub.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:15:26 2025