OpenSuSE Ports Tumbleweed for ppc64le : / 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, Sun Apr 12 22:57:29 2026