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

• .coq-native
• CyclicAxioms.glob
• CyclicAxioms.v
• CyclicAxioms.vo
• CyclicAxioms.vos
• DoubleType.glob
• DoubleType.v
• DoubleType.vo
• DoubleType.vos
• NZCyclic.glob
• NZCyclic.v
• NZCyclic.vo
• NZCyclic.vos

Generated by rpm2html 1.8.1

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