Mageia Cauldron for aarch64 : / usr /lib64 /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, Fri Apr 4 06:19:34 2025