Fedora 42 updates for ppc64le : / usr /src /debug /why3-1.8.1-1.fc42.ppc64le /src /ide

• gconfig.ml
• ide_utils.ml
• why3ide.ml
• why3web.ml
• wserver.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Jun 30 01:53:29 2025