OpenSuSE Ports Tumbleweed for aarch64 : / usr /lib64 /coq /theories /Wellfounded

• .coq-native
• Disjoint_Union.glob
• Disjoint_Union.v
• Disjoint_Union.vo
• Inclusion.glob
• Inclusion.v
• Inclusion.vo
• Inverse_Image.glob
• Inverse_Image.v
• Inverse_Image.vo
• Lexicographic_Exponentiation.glob
• Lexicographic_Exponentiation.v
• Lexicographic_Exponentiation.vo
• Lexicographic_Product.glob
• Lexicographic_Product.v
• Lexicographic_Product.vo
• Transitive_Closure.glob
• Transitive_Closure.v
• Transitive_Closure.vo
• Union.glob
• Union.v
• Union.vo
• Well_Ordering.glob
• Well_Ordering.v
• Well_Ordering.vo
• Wellfounded.glob
• Wellfounded.v
• Wellfounded.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jan 1 23:23:48 2026