Mageia 8 for x86_64 : / usr /lib64 /coq /plugins /btauto

• .coq-native
• Algebra.glob
• Algebra.v
• Algebra.vo
• Algebra.vos
• Btauto.glob
• Btauto.v
• Btauto.vo
• Btauto.vos
• Reflect.glob
• Reflect.v
• Reflect.vo
• Reflect.vos
• btauto_plugin.cmi
• btauto_plugin.cmx
• btauto_plugin.cmxs
• btauto_plugin.o
• g_btauto.cmx
• refl_btauto.cmi
• refl_btauto.cmx

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 11:24:54 2025