| Parent directory/ | - | - |
| yices-2.7.0-6.fc44.x86_64.rpm | 1.4 MiB | 2026-Feb-20 18:07 |
| yices-devel-2.7.0-6.fc44.x86_64.rpm | 44.2 KiB | 2026-Feb-20 18:07 |
| yices-doc-2.7.0-6.fc44.noarch.rpm | 1.5 MiB | 2026-Feb-20 18:07 |
| yices-tools-2.7.0-6.fc44.x86_64.rpm | 2.2 MiB | 2026-Feb-20 18:07 |
| yt-dlp+default-2026.02.21-1.fc44.noarch.rpm | 12.7 KiB | 2026-Feb-24 21:04 |
| yt-dlp+secretstorage-2026.02.21-1.fc44.noarch.rpm | 12.4 KiB | 2026-Feb-24 21:04 |
| yt-dlp-2026.02.21-1.fc44.noarch.rpm | 6.1 MiB | 2026-Feb-24 21:04 |
| ytalk-3.3.0-101.fc44.x86_64.rpm | 61.9 KiB | 2026-Feb-23 03:28 |
