OpenSuSE Leap 15.5 for ppc64le : / usr /lib64 /coq /plugins /syntax

• float_syntax.cmx
• float_syntax_plugin.cmi
• float_syntax_plugin.cmx
• float_syntax_plugin.cmxs
• float_syntax_plugin.o
• g_number_string.cmx
• int63_syntax.cmx
• int63_syntax_plugin.cmi
• int63_syntax_plugin.cmx
• int63_syntax_plugin.cmxs
• int63_syntax_plugin.o
• number.cmi
• number.cmx
• number_string_notation_plugin.cmi
• number_string_notation_plugin.cmx
• number_string_notation_plugin.cmxs
• number_string_notation_plugin.o
• string_notation.cmi
• string_notation.cmx

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:15:26 2025