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

• .coq-native
• Bintree.glob
• Bintree.v
• Bintree.vo
• Bintree.vos
• Rtauto.glob
• Rtauto.v
• Rtauto.vo
• Rtauto.vos
• g_rtauto.cmx
• proof_search.cmi
• proof_search.cmx
• refl_tauto.cmi
• refl_tauto.cmx
• rtauto_plugin.cmi
• rtauto_plugin.cmx
• rtauto_plugin.cmxs
• rtauto_plugin.o

Generated by rpm2html 1.8.1

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