OpenSuSE Ports Tumbleweed for riscv64 : / usr /lib64 /coq /theories /Arith /.coq-native

• NCoq_Arith_Arith.cmi
• NCoq_Arith_Arith.cmxs
• NCoq_Arith_Arith_base.cmi
• NCoq_Arith_Arith_base.cmxs
• NCoq_Arith_Between.cmi
• NCoq_Arith_Between.cmxs
• NCoq_Arith_Bool_nat.cmi
• NCoq_Arith_Bool_nat.cmxs
• NCoq_Arith_Cantor.cmi
• NCoq_Arith_Cantor.cmxs
• NCoq_Arith_Compare.cmi
• NCoq_Arith_Compare.cmxs
• NCoq_Arith_Compare_dec.cmi
• NCoq_Arith_Compare_dec.cmxs
• NCoq_Arith_EqNat.cmi
• NCoq_Arith_EqNat.cmxs
• NCoq_Arith_Euclid.cmi
• NCoq_Arith_Euclid.cmxs
• NCoq_Arith_Factorial.cmi
• NCoq_Arith_Factorial.cmxs
• NCoq_Arith_PeanoNat.cmi
• NCoq_Arith_PeanoNat.cmxs
• NCoq_Arith_Peano_dec.cmi
• NCoq_Arith_Peano_dec.cmxs
• NCoq_Arith_Wf_nat.cmi
• NCoq_Arith_Wf_nat.cmxs

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 30 23:58:22 2024