Mageia 8 for aarch64 : / usr /lib64 /coq /theories /Numbers

• .coq-native
• AltBinNotations.glob
• AltBinNotations.v
• AltBinNotations.vo
• AltBinNotations.vos
• BinNums.glob
• BinNums.v
• BinNums.vo
• BinNums.vos
• Cyclic
• DecimalFacts.glob
• DecimalFacts.v
• DecimalFacts.vo
• DecimalFacts.vos
• DecimalN.glob
• DecimalN.v
• DecimalN.vo
• DecimalN.vos
• DecimalNat.glob
• DecimalNat.v
• DecimalNat.vo
• DecimalNat.vos
• DecimalPos.glob
• DecimalPos.v
• DecimalPos.vo
• DecimalPos.vos
• DecimalString.glob
• DecimalString.v
• DecimalString.vo
• DecimalString.vos
• DecimalZ.glob
• DecimalZ.v
• DecimalZ.vo
• DecimalZ.vos
• Integer
• NaryFunctions.glob
• NaryFunctions.v
• NaryFunctions.vo
• NaryFunctions.vos
• NatInt
• Natural
• NumPrelude.glob
• NumPrelude.v
• NumPrelude.vo
• NumPrelude.vos

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 11:28:15 2025