Mageia 9 for armv7hl : / usr /lib /ocaml /coq-core /config

• config.a
• config.cma
• config.cmxa
• config.cmxs
• coq_config.cmi
• coq_config.cmt
• coq_config.cmti
• coq_config.cmx
• coq_config.ml
• coq_config.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Feb 22 08:03:49 2025