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

/fedora/updates/testing/42/Everything/aarch64/Packages/y/

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