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

• ac
• ac.why
• array
• array.why
• bool
• bool.why
• euclideandivision
• euclideandivision.why
• floats
• floats.why
• int
• int.why
• intreal
• intreal.why
• minmax
• minmax.why
• propositional
• propositional.why
• real
• real.why

Generated by rpm2html 1.8.1

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