Mageia Cauldron for armv7hl : / usr /lib /ocaml /coq /theories /Relations

• .coq-native
• Operators_Properties.glob
• Operators_Properties.v
• Operators_Properties.vo
• Operators_Properties.vos
• Relation_Definitions.glob
• Relation_Definitions.v
• Relation_Definitions.vo
• Relation_Definitions.vos
• Relation_Operators.glob
• Relation_Operators.v
• Relation_Operators.vo
• Relation_Operators.vos
• Relations.glob
• Relations.v
• Relations.vo
• Relations.vos

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Feb 21 13:46:15 2025