Mageia 8 for aarch64 : / usr /lib64 /coq /theories /Vectors /.coq-native

• NCoq_Vectors_Fin.cmi
• NCoq_Vectors_Fin.cmx
• NCoq_Vectors_Fin.cmxs
• NCoq_Vectors_Fin.o
• NCoq_Vectors_Vector.cmi
• NCoq_Vectors_Vector.cmx
• NCoq_Vectors_Vector.cmxs
• NCoq_Vectors_Vector.o
• NCoq_Vectors_VectorDef.cmi
• NCoq_Vectors_VectorDef.cmx
• NCoq_Vectors_VectorDef.cmxs
• NCoq_Vectors_VectorDef.o
• NCoq_Vectors_VectorEq.cmi
• NCoq_Vectors_VectorEq.cmx
• NCoq_Vectors_VectorEq.cmxs
• NCoq_Vectors_VectorEq.o
• NCoq_Vectors_VectorSpec.cmi
• NCoq_Vectors_VectorSpec.cmx
• NCoq_Vectors_VectorSpec.cmxs
• NCoq_Vectors_VectorSpec.o

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 11:28:15 2025