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

• .coq-native
• Byte.glob
• Byte.v
• Byte.vo
• Datatypes.glob
• Datatypes.v
• Datatypes.vo
• Decimal.glob
• Decimal.v
• Decimal.vo
• Hexadecimal.glob
• Hexadecimal.v
• Hexadecimal.vo
• Logic.glob
• Logic.v
• Logic.vo
• Ltac.glob
• Ltac.v
• Ltac.vo
• Nat.glob
• Nat.v
• Nat.vo
• Notations.glob
• Notations.v
• Notations.vo
• Number.glob
• Number.v
• Number.vo
• Peano.glob
• Peano.v
• Peano.vo
• Prelude.glob
• Prelude.v
• Prelude.vo
• Specif.glob
• Specif.v
• Specif.vo
• Tactics.glob
• Tactics.v
• Tactics.vo
• Tauto.glob
• Tauto.v
• Tauto.vo
• Wf.glob
• Wf.v
• Wf.vo

Generated by rpm2html 1.8.1

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