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

• .coq-native
• Bool.glob
• Bool.v
• Bool.vo
• Bool.vos
• BoolEq.glob
• BoolEq.v
• BoolEq.vo
• BoolEq.vos
• BoolOrder.glob
• BoolOrder.v
• BoolOrder.vo
• BoolOrder.vos
• Bvector.glob
• Bvector.v
• Bvector.vo
• Bvector.vos
• DecBool.glob
• DecBool.v
• DecBool.vo
• DecBool.vos
• IfProp.glob
• IfProp.v
• IfProp.vo
• IfProp.vos
• Sumbool.glob
• Sumbool.v
• Sumbool.vo
• Sumbool.vos
• Zerob.glob
• Zerob.v
• Zerob.vo
• Zerob.vos

Generated by rpm2html 1.8.1

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