OpenSuSE Leap 15.5 for aarch64 : / usr /lib64 /coq /theories /Unicode

• .coq-native
• Utf8.glob
• Utf8.v
• Utf8.vo
• Utf8_core.glob
• Utf8_core.v
• Utf8_core.vo

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:35:58 2025