| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| yices-2.7.0-6.fc44.aarch64.rpm | 1.2 MiB | 2026-Feb-20 18:07 |
| yices-devel-2.7.0-6.fc44.aarch64.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.aarch64.rpm | 1.9 MiB | 2026-Feb-20 18:07 |
| yt-dlp+default-2026.02.04-2.fc44.noarch.rpm | 12.6 KiB | 2026-Feb-22 03:50 |
| yt-dlp+secretstorage-2026.02.04-2.fc44.noarch.rpm | 12.3 KiB | 2026-Feb-22 03:50 |
| yt-dlp-2026.02.04-2.fc44.noarch.rpm | 6.1 MiB | 2026-Feb-22 03:50 |