OpenSuSE Ports Tumbleweed for i586 : / usr /lib /coq /theories /Compat

• .coq-native
• Coq818.glob
• Coq818.v
• Coq818.vo
• Coq819.glob
• Coq819.v
• Coq819.vo
• Coq820.glob
• Coq820.v
• Coq820.vo
• Rocq90.glob
• Rocq90.v
• Rocq90.vo
• Rocq91.glob
• Rocq91.v
• Rocq91.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 21 22:39:17 2026