OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq /theories /QArith /.coq-native

• NCoq_QArith_QArith.cmi
• NCoq_QArith_QArith.cmxs
• NCoq_QArith_QArith_base.cmi
• NCoq_QArith_QArith_base.cmxs
• NCoq_QArith_QOrderedType.cmi
• NCoq_QArith_QOrderedType.cmxs
• NCoq_QArith_Qabs.cmi
• NCoq_QArith_Qabs.cmxs
• NCoq_QArith_Qcabs.cmi
• NCoq_QArith_Qcabs.cmxs
• NCoq_QArith_Qcanon.cmi
• NCoq_QArith_Qcanon.cmxs
• NCoq_QArith_Qfield.cmi
• NCoq_QArith_Qfield.cmxs
• NCoq_QArith_Qminmax.cmi
• NCoq_QArith_Qminmax.cmxs
• NCoq_QArith_Qpower.cmi
• NCoq_QArith_Qpower.cmxs
• NCoq_QArith_Qreals.cmi
• NCoq_QArith_Qreals.cmxs
• NCoq_QArith_Qreduction.cmi
• NCoq_QArith_Qreduction.cmxs
• NCoq_QArith_Qring.cmi
• NCoq_QArith_Qring.cmxs
• NCoq_QArith_Qround.cmi
• NCoq_QArith_Qround.cmxs

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:22:04 2024