OpenSuSE Leap 15.5 for s390x : / usr /lib64 /coq /theories /omega

• .coq-native
• Omega.glob
• Omega.v
• Omega.vo
• OmegaLemmas.glob
• OmegaLemmas.v
• OmegaLemmas.vo
• OmegaPlugin.glob
• OmegaPlugin.v
• OmegaPlugin.vo
• OmegaTactic.glob
• OmegaTactic.v
• OmegaTactic.vo
• PreOmega.glob
• PreOmega.v
• PreOmega.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:42:55 2025