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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
yices-tools-2.7.0-1.fc42.x86_64.rpm2.1 MiB2025-Jul-18 23:42
yices-devel-2.7.0-1.fc42.x86_64.rpm44.3 KiB2025-Jul-18 23:42
yices-2.7.0-1.fc42.x86_64.rpm1.3 MiB2025-Jul-18 23:42
yices-doc-2.7.0-1.fc42.noarch.rpm1.5 MiB2025-Jul-18 23:42