/vol/rzm3/linux-fedora-buffet/fedora-secondary/updates/testing/41/Everything/s390x/Packages/w :
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