![[NLUUG]](/.ignore_logo.webp){kind=logo}
The large public mirror server for open source projects hosted by NLUUG and Surfnet
/ftp/os/Linux/distr/fedora-linux-updates/testing/44/Everything/aarch64/Packages/y/| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| ./ | - | 2026-Feb-22 00:47 |
| ../ | - | 2026-Feb-22 00:47 |
| yices-2.7.0-6.fc44.aarch64.rpm | 1.2 MiB | 2026-Feb-20 16:07 |
| yices-devel-2.7.0-6.fc44.aarch64.rpm | 44.2 KiB | 2026-Feb-20 16:07 |
| yices-doc-2.7.0-6.fc44.noarch.rpm | 1.5 MiB | 2026-Feb-20 16:07 |
| yices-tools-2.7.0-6.fc44.aarch64.rpm | 1.9 MiB | 2026-Feb-20 16:07 |
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!