OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq /theories /Numbers /Integer /Abstract

• .coq-native
• ZAdd.glob
• ZAdd.v
• ZAdd.vo
• ZAddOrder.glob
• ZAddOrder.v
• ZAddOrder.vo
• ZAxioms.glob
• ZAxioms.v
• ZAxioms.vo
• ZBase.glob
• ZBase.v
• ZBase.vo
• ZBits.glob
• ZBits.v
• ZBits.vo
• ZDivEucl.glob
• ZDivEucl.v
• ZDivEucl.vo
• ZDivFloor.glob
• ZDivFloor.v
• ZDivFloor.vo
• ZDivTrunc.glob
• ZDivTrunc.v
• ZDivTrunc.vo
• ZGcd.glob
• ZGcd.v
• ZGcd.vo
• ZLcm.glob
• ZLcm.v
• ZLcm.vo
• ZLt.glob
• ZLt.v
• ZLt.vo
• ZMaxMin.glob
• ZMaxMin.v
• ZMaxMin.vo
• ZMul.glob
• ZMul.v
• ZMul.vo
• ZMulOrder.glob
• ZMulOrder.v
• ZMulOrder.vo
• ZParity.glob
• ZParity.v
• ZParity.vo
• ZPow.glob
• ZPow.v
• ZPow.vo
• ZProperties.glob
• ZProperties.v
• ZProperties.vo
• ZSgnAbs.glob
• ZSgnAbs.v
• ZSgnAbs.vo

Generated by rpm2html 1.8.1

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