Fedora 42 updates for s390x : / usr /lib64 /why3 /coq

• BuiltIn.vo
• HighOrd.vo
• WellFounded.vo
• bool
• bv
• floating_point
• for_drivers
• ieee_float
• int
• list
• map
• number
• option
• real
• set
• version

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 24 02:43:56 2025