OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq /theories /ssr

• .coq-native
• ssrbool.glob
• ssrbool.v
• ssrbool.vo
• ssrclasses.glob
• ssrclasses.v
• ssrclasses.vo
• ssreflect.glob
• ssreflect.v
• ssreflect.vo
• ssrfun.glob
• ssrfun.v
• ssrfun.vo
• ssrsetoid.glob
• ssrsetoid.v
• ssrsetoid.vo
• ssrunder.glob
• ssrunder.v
• ssrunder.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:22:04 2024