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

• NCoq_Init_Byte.cmi
• NCoq_Init_Byte.cmxs
• NCoq_Init_Datatypes.cmi
• NCoq_Init_Datatypes.cmxs
• NCoq_Init_Decimal.cmi
• NCoq_Init_Decimal.cmxs
• NCoq_Init_Hexadecimal.cmi
• NCoq_Init_Hexadecimal.cmxs
• NCoq_Init_Logic.cmi
• NCoq_Init_Logic.cmxs
• NCoq_Init_Ltac.cmi
• NCoq_Init_Ltac.cmxs
• NCoq_Init_Nat.cmi
• NCoq_Init_Nat.cmxs
• NCoq_Init_Notations.cmi
• NCoq_Init_Notations.cmxs
• NCoq_Init_Number.cmi
• NCoq_Init_Number.cmxs
• NCoq_Init_Peano.cmi
• NCoq_Init_Peano.cmxs
• NCoq_Init_Prelude.cmi
• NCoq_Init_Prelude.cmxs
• NCoq_Init_Specif.cmi
• NCoq_Init_Specif.cmxs
• NCoq_Init_Tactics.cmi
• NCoq_Init_Tactics.cmxs
• NCoq_Init_Tauto.cmi
• NCoq_Init_Tauto.cmxs
• NCoq_Init_Wf.cmi
• NCoq_Init_Wf.cmxs

Generated by rpm2html 1.8.1

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