OpenSuSE Leap 15.6 for s390x : / usr /lib64 /coq /theories /NArith

• .coq-native
• BinNat.glob
• BinNat.v
• BinNat.vo
• BinNatDef.glob
• BinNatDef.v
• BinNatDef.vo
• NArith.glob
• NArith.v
• NArith.vo
• Ndec.glob
• Ndec.v
• Ndec.vo
• Ndigits.glob
• Ndigits.v
• Ndigits.vo
• Ndist.glob
• Ndist.v
• Ndist.vo
• Ndiv_def.glob
• Ndiv_def.v
• Ndiv_def.vo
• Ngcd_def.glob
• Ngcd_def.v
• Ngcd_def.vo
• Nnat.glob
• Nnat.v
• Nnat.vo
• Nsqrt_def.glob
• Nsqrt_def.v
• Nsqrt_def.vo

Generated by rpm2html 1.8.1

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