| yices-2.7.0-11.fc45.aarch64 |
SMT solver |
Fedora 45 testing updates for aarch64 |
| yices-devel-2.7.0-11.fc45.aarch64 |
Development files for yices |
Fedora 45 testing updates for aarch64 |
| yices-doc-2.7.0-11.fc45.noarch |
Documentation for yices |
Fedora 45 testing updates for aarch64 |
| yices-tools-2.7.0-11.fc45.aarch64 |
Command line tools that use the yices library |
Fedora 45 testing updates for aarch64 |
| yle-dl-20260624-3.fc45.noarch |
Download videos from Yle servers |
Fedora 45 testing updates for aarch64 |
| yle-dl+extra-20260624-3.fc45.noarch |
Metapackage for yle-dl: extra extras |
Fedora 45 testing updates for aarch64 |
| yadifa-3.0.3-1.fc45.aarch64 |
Lightweight authoritative Name Server with DNSSEC capabilities |
Fedora 45 testing updates for aarch64 |
| yadifa-devel-3.0.3-1.fc45.aarch64 |
Header files and libraries needed for YADIFA development |
Fedora 45 testing updates for aarch64 |
| yadifa-libs-3.0.3-1.fc45.aarch64 |
Libraries used by the YADIFA packages |
Fedora 45 testing updates for aarch64 |
| yadifa-tools-3.0.3-1.fc45.aarch64 |
Remote management client for YADIFA DNS server |
Fedora 45 testing updates for aarch64 |
| yaksa-0.4-1.fc45.aarch64 |
High-performance library for noncontiguous data |
Fedora 45 testing updates for aarch64 |
| yaksa-devel-0.4-1.fc45.aarch64 |
Development files for libyaksa |
Fedora 45 testing updates for aarch64 |