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

../
yices-2.7.0-6.fc44.x86_64.rpm                      20-Feb-2026 16:07             1457263
yices-devel-2.7.0-6.fc44.x86_64.rpm                20-Feb-2026 16:07               45248
yices-doc-2.7.0-6.fc44.noarch.rpm                  20-Feb-2026 16:07             1545995
yices-tools-2.7.0-6.fc44.x86_64.rpm                20-Feb-2026 16:07             2301083
ytalk-3.3.0-101.fc44.x86_64.rpm                    23-Feb-2026 01:28               63380