OpenSuSE Tumbleweed for x86_64 : / usr /lib64 /coq /theories /extraction

• .coq-native
• ExtrHaskellBasic.glob
• ExtrHaskellBasic.v
• ExtrHaskellBasic.vo
• ExtrOcamlBasic.glob
• ExtrOcamlBasic.v
• ExtrOcamlBasic.vo
• Extraction.glob
• Extraction.v
• Extraction.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Mar 28 22:34:06 2026