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

• .coq-native
• Omega.glob
• Omega.v
• Omega.vo
• Omega.vos
• OmegaLemmas.glob
• OmegaLemmas.v
• OmegaLemmas.vo
• OmegaLemmas.vos
• OmegaPlugin.glob
• OmegaPlugin.v
• OmegaPlugin.vo
• OmegaPlugin.vos
• OmegaTactic.glob
• OmegaTactic.v
• OmegaTactic.vo
• OmegaTactic.vos
• PreOmega.glob
• PreOmega.v
• PreOmega.vo
• PreOmega.vos
• coq_omega.cmi
• coq_omega.cmx
• g_omega.cmx
• omega.cmx
• omega_plugin.cmi
• omega_plugin.cmx
• omega_plugin.cmxs
• omega_plugin.o

Generated by rpm2html 1.8.1

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