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

../
yices-2.7.0-1.fc42.s390x.rpm                       18-Jul-2025 20:42             1445512
yices-devel-2.7.0-1.fc42.s390x.rpm                 18-Jul-2025 20:42               45316
yices-doc-2.7.0-1.fc42.noarch.rpm                  18-Jul-2025 20:42             1559142
yices-tools-2.7.0-1.fc42.s390x.rpm                 18-Jul-2025 20:42             2133489