/vol/rzm3/linux-fedora-buffet/fedora/linux/updates/testing/41/Everything/aarch64/Packages/w :
wasi-libc-devel-25-1.fc41.noarch.rpm
wasi-libc-static-25-1.fc41.noarch.rpm
why3-emacs-1.7.2-10.fc41.noarch.rpm
why3-examples-1.7.2-10.fc41.noarch.rpm
why3-proofgeneral-1.7.2-10.fc41.noarch.rpm
wildcardtl-devel-1.0.0-2.fc41.noarch.rpm