Index of /fedora/fedora-secondary/updates/testing/42/Everything/s390x/Packages/w/

../
why3-1.8.2-1.fc42.s390x.rpm                        17-Sep-2025 15:26            15065714
why3-all-1.8.2-1.fc42.s390x.rpm                    17-Sep-2025 15:26                9113
why3-emacs-1.8.2-1.fc42.noarch.rpm                 17-Sep-2025 15:26               13372
why3-examples-1.8.2-1.fc42.noarch.rpm              17-Sep-2025 15:26             4751162
why3-proofgeneral-1.8.2-1.fc42.noarch.rpm          17-Sep-2025 15:26               13039