OpenSuSE Leap 15.4 for ppc64le : / usr /lib64 /coq /theories /Wellfounded /.coq-native

• NCoq_Wellfounded_Disjoint_Union.cmi
• NCoq_Wellfounded_Disjoint_Union.cmx
• NCoq_Wellfounded_Disjoint_Union.cmxs
• NCoq_Wellfounded_Disjoint_Union.o
• NCoq_Wellfounded_Inclusion.cmi
• NCoq_Wellfounded_Inclusion.cmx
• NCoq_Wellfounded_Inclusion.cmxs
• NCoq_Wellfounded_Inclusion.o
• NCoq_Wellfounded_Inverse_Image.cmi
• NCoq_Wellfounded_Inverse_Image.cmx
• NCoq_Wellfounded_Inverse_Image.cmxs
• NCoq_Wellfounded_Inverse_Image.o
• NCoq_Wellfounded_Lexicographic_Exponentiation.cmi
• NCoq_Wellfounded_Lexicographic_Exponentiation.cmx
• NCoq_Wellfounded_Lexicographic_Exponentiation.cmxs
• NCoq_Wellfounded_Lexicographic_Exponentiation.o
• NCoq_Wellfounded_Lexicographic_Product.cmi
• NCoq_Wellfounded_Lexicographic_Product.cmx
• NCoq_Wellfounded_Lexicographic_Product.cmxs
• NCoq_Wellfounded_Lexicographic_Product.o
• NCoq_Wellfounded_Transitive_Closure.cmi
• NCoq_Wellfounded_Transitive_Closure.cmx
• NCoq_Wellfounded_Transitive_Closure.cmxs
• NCoq_Wellfounded_Transitive_Closure.o
• NCoq_Wellfounded_Union.cmi
• NCoq_Wellfounded_Union.cmx
• NCoq_Wellfounded_Union.cmxs
• NCoq_Wellfounded_Union.o
• NCoq_Wellfounded_Well_Ordering.cmi
• NCoq_Wellfounded_Well_Ordering.cmx
• NCoq_Wellfounded_Well_Ordering.cmxs
• NCoq_Wellfounded_Well_Ordering.o
• NCoq_Wellfounded_Wellfounded.cmi
• NCoq_Wellfounded_Wellfounded.cmx
• NCoq_Wellfounded_Wellfounded.cmxs
• NCoq_Wellfounded_Wellfounded.o

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 17:00:22 2024