Index of /fedora/updates/testing/44/Everything/x86_64/Packages/y/

../
yices-2.7.0-6.fc44.x86_64.rpm                      20-Feb-2026 16:07      1M
yices-devel-2.7.0-6.fc44.x86_64.rpm                20-Feb-2026 16:07     44K
yices-doc-2.7.0-6.fc44.noarch.rpm                  20-Feb-2026 16:07      1M
yices-tools-2.7.0-6.fc44.x86_64.rpm                20-Feb-2026 16:07      2M