OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq-core /plugins /ssrmatching

• g_ssrmatching.ml
• g_ssrmatching.mli
• ssrmatching.ml
• ssrmatching.mli
• ssrmatching_plugin.a
• ssrmatching_plugin.cma
• ssrmatching_plugin.cmi
• ssrmatching_plugin.cmt
• ssrmatching_plugin.cmx
• ssrmatching_plugin.cmxa
• ssrmatching_plugin.cmxs
• ssrmatching_plugin.ml
• ssrmatching_plugin__G_ssrmatching.cmi
• ssrmatching_plugin__G_ssrmatching.cmt
• ssrmatching_plugin__G_ssrmatching.cmti
• ssrmatching_plugin__G_ssrmatching.cmx
• ssrmatching_plugin__Ssrmatching.cmi
• ssrmatching_plugin__Ssrmatching.cmt
• ssrmatching_plugin__Ssrmatching.cmti
• ssrmatching_plugin__Ssrmatching.cmx

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:22:04 2024