OpenSuSE Leap 15.5 for aarch64 : / usr /lib64 /coq /theories /omega /.coq-native

• NCoq_omega_Omega.cmi
• NCoq_omega_Omega.cmx
• NCoq_omega_Omega.cmxs
• NCoq_omega_Omega.o
• NCoq_omega_OmegaLemmas.cmi
• NCoq_omega_OmegaLemmas.cmx
• NCoq_omega_OmegaLemmas.cmxs
• NCoq_omega_OmegaLemmas.o
• NCoq_omega_OmegaPlugin.cmi
• NCoq_omega_OmegaPlugin.cmx
• NCoq_omega_OmegaPlugin.cmxs
• NCoq_omega_OmegaPlugin.o
• NCoq_omega_OmegaTactic.cmi
• NCoq_omega_OmegaTactic.cmx
• NCoq_omega_OmegaTactic.cmxs
• NCoq_omega_OmegaTactic.o
• NCoq_omega_PreOmega.cmi
• NCoq_omega_PreOmega.cmx
• NCoq_omega_PreOmega.cmxs
• NCoq_omega_PreOmega.o

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:35:58 2025