OpenSuSE Leap 15.6 for s390x : / usr /lib64 /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, Tue Jul 9 20:22:04 2024