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