Mageia 9 for aarch64 : / usr /lib64 /ocaml /coq /theories /btauto /.coq-native

• NCoq_btauto_Algebra.cmi
• NCoq_btauto_Algebra.cmx
• NCoq_btauto_Algebra.cmxs
• NCoq_btauto_Algebra.o
• NCoq_btauto_Btauto.cmi
• NCoq_btauto_Btauto.cmx
• NCoq_btauto_Btauto.cmxs
• NCoq_btauto_Btauto.o
• NCoq_btauto_Reflect.cmi
• NCoq_btauto_Reflect.cmx
• NCoq_btauto_Reflect.cmxs
• NCoq_btauto_Reflect.o

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Feb 27 09:02:36 2025