Mageia Cauldron for armv7hl : / usr /lib /ocaml /coq /theories /Init

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Feb 21 13:46:15 2025