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

• .coq-native
• Basics.glob
• Basics.v
• Basics.vo
• Tactics.glob
• Tactics.v
• Tactics.vo
• Utils.glob
• Utils.v
• Utils.vo
• Wf.glob
• Wf.v
• Wf.vo

Generated by rpm2html 1.8.1

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