Fedora 42 updates for ppc64le : / usr /share /doc /why3-examples /examples /avl

• avl
• avl.mlw
• key_type
• key_type.mlw
• monoid
• monoid.mlw
• preorder
• preorder.mlw
• priority_queue
• priority_queue.mlw
• ral
• ral.mlw
• tables
• tables.mlw

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 4 04:16:11 2025