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

• .coq-native
• FunInd.glob
• FunInd.v
• FunInd.vo
• FunInd.vos
• Recdef.glob
• Recdef.v
• Recdef.vo
• Recdef.vos
• functional_principles_proofs.cmi
• functional_principles_proofs.cmx
• functional_principles_types.cmi
• functional_principles_types.cmx
• g_indfun.cmx
• gen_principle.cmi
• gen_principle.cmx
• glob_term_to_relation.cmi
• glob_term_to_relation.cmx
• glob_termops.cmi
• glob_termops.cmx
• indfun.cmi
• indfun.cmx
• indfun_common.cmi
• indfun_common.cmx
• invfun.cmi
• invfun.cmx
• recdef.cmi
• recdef.cmx
• recdef_plugin.cmi
• recdef_plugin.cmx
• recdef_plugin.cmxs
• recdef_plugin.o

Generated by rpm2html 1.8.1

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