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

• .coq-native
• FunInd.glob
• FunInd.v
• FunInd.vo
• Recdef.glob
• Recdef.v
• Recdef.vo

Generated by rpm2html 1.8.1

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