Mageia 8 for x86_64 : / 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_numeral.cmx
• g_string.cmx
• int63_syntax.cmx
• int63_syntax_plugin.cmi
• int63_syntax_plugin.cmx
• int63_syntax_plugin.cmxs
• int63_syntax_plugin.o
• numeral.cmi
• numeral.cmx
• numeral_notation_plugin.cmi
• numeral_notation_plugin.cmx
• numeral_notation_plugin.cmxs
• numeral_notation_plugin.o
• r_syntax.cmi
• r_syntax.cmx
• r_syntax_plugin.cmi
• r_syntax_plugin.cmx
• r_syntax_plugin.cmxs
• r_syntax_plugin.o
• string_notation.cmi
• string_notation.cmx
• string_notation_plugin.cmi
• string_notation_plugin.cmx
• string_notation_plugin.cmxs
• string_notation_plugin.o

Generated by rpm2html 1.8.1

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