| yaz-5.37.3-1.fc44.s390x |
Z39.50/SRW/SRU toolkit |
Fedora 44 updates for s390x |
| yaz-doc-5.37.3-1.fc44.noarch |
Documentation for yaz |
Fedora 44 updates for s390x |
| yosyshq-abc-0.65-1.20260512git5d51a5e.fc44.s390x |
Sequential logic synthesis and formal verification |
Fedora 44 updates for s390x |
| yosyshq-abc-devel-0.65-1.20260512git5d51a5e.fc44.s390x |
Headers and libraries for developing with ABC |
Fedora 44 updates for s390x |
| yosyshq-abc-libs-0.65-1.20260512git5d51a5e.fc44.s390x |
Library for sequential synthesis and verification |
Fedora 44 updates for s390x |
| yelp-49.1-1.fc44.s390x |
Help browser for the GNOME desktop |
Fedora 44 updates for s390x |
| yelp-devel-49.1-1.fc44.s390x |
Development files for yelp-libs |
Fedora 44 updates for s390x |
| yelp-libs-49.1-1.fc44.s390x |
Libraries for yelp |
Fedora 44 updates for s390x |
| yices-2.7.0-8.fc44.s390x |
SMT solver |
Fedora 44 updates for s390x |
| yices-devel-2.7.0-8.fc44.s390x |
Development files for yices |
Fedora 44 updates for s390x |
| yices-doc-2.7.0-8.fc44.noarch |
Documentation for yices |
Fedora 44 updates for s390x |
| yices-tools-2.7.0-8.fc44.s390x |
Command line tools that use the yices library |
Fedora 44 updates for s390x |
| yubikey-manager-5.9.1-1.20260415gitbc866e8.fc44.noarch |
Python library and command line tool for configuring a YubiKey |
Fedora 44 updates for s390x |
| yarnpkg-1.22.22-18.fc44.s390x |
Fast, reliable, and secure dependency management. |
Fedora 44 updates for s390x |
| yggdrasil-0.4.9-1.fc44.s390x |
Remote data transmission and processing client |
Fedora 44 updates for s390x |