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


../
why3-1.8.2-1.fc42.ppc64le.rpm                      17-Sep-2025 15:26            14322980
why3-all-1.8.2-1.fc42.ppc64le.rpm                  17-Sep-2025 15:26                9125
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
wiremix-0.7.0-1.fc42.ppc64le.rpm                   07-Sep-2025 10:09             1051786
wivrn-25.9-1.20250917gitv25.9.fc42.ppc64le.rpm     18-Sep-2025 14:55             1671543
wivrn-dashboard-25.9-1.20250917gitv25.9.fc42.pp..> 18-Sep-2025 14:55              558265