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

• .coq-native
• g_ssrmatching.cmi
• g_ssrmatching.cmx
• ssrmatching.cmi
• ssrmatching.cmx
• ssrmatching.glob
• ssrmatching.v
• ssrmatching.vo
• ssrmatching.vos
• ssrmatching_plugin.cmi
• ssrmatching_plugin.cmx
• ssrmatching_plugin.cmxs
• ssrmatching_plugin.o

Generated by rpm2html 1.8.1

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