OpenSuSE Ports Tumbleweed for armv6hl : / usr /lib /coq /theories /Relations

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Feb 14 00:24:50 2025