OpenSuSE Leap 15.6 for s390x : / usr /lib64 /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, Tue Jul 9 20:22:04 2024