Mageia 9 for armv7hl : / usr /src /debug /coq-8.16.1-1.mga9.arm / /build /default /kernel /byterun

• coq_arity.h
• coq_fix_code.c
• coq_fix_code.h
• coq_float64.c
• coq_instruct.h
• coq_interp.c
• coq_interp.h
• coq_memory.c
• coq_memory.h
• coq_uint63_emul.h
• coq_values.c

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 12 07:38:22 2025