yakuake-24.02.1-1.fc40 |
A drop-down terminal emulator |
linux/aarch64 |
yakuake-debuginfo-24.02.1-1.fc40 |
Debug information for package yakuake |
linux/aarch64 |
yakuake-debugsource-24.02.1-1.fc40 |
Debug sources for package yakuake |
linux/aarch64 |
yarnpkg-1.22.22-1.fc40 |
Fast, reliable, and secure dependency management. |
linux/aarch64 |
yash-2.56.1-1.fc40 |
Yet Another SHell |
linux/aarch64 |
yash-debuginfo-2.56.1-1.fc40 |
Debug information for package yash |
linux/aarch64 |
yash-debugsource-2.56.1-1.fc40 |
Debug sources for package yash |
linux/aarch64 |
yash-doc-2.56.1-1.fc40 |
Documentation for yash |
linux/noarch |
yices-2.6.5-1.fc40 |
SMT solver |
linux/aarch64![New](/linux/RPM/new.gif) |
yices-debuginfo-2.6.5-1.fc40 |
Debug information for package yices |
linux/aarch64![New](/linux/RPM/new.gif) |
yices-debugsource-2.6.5-1.fc40 |
Debug sources for package yices |
linux/aarch64![New](/linux/RPM/new.gif) |
yices-devel-2.6.5-1.fc40 |
Development files for yices |
linux/aarch64![New](/linux/RPM/new.gif) |
yices-doc-2.6.5-1.fc40 |
Documentation for yices |
linux/noarch![New](/linux/RPM/new.gif) |
yices-tools-2.6.5-1.fc40 |
Command line tools that use the yices library |
linux/aarch64![New](/linux/RPM/new.gif) |
yices-tools-debuginfo-2.6.5-1.fc40 |
Debug information for package yices-tools |
linux/aarch64![New](/linux/RPM/new.gif) |
yosyshq-abc-0.39-1.20240314git0cd90d0.fc40 |
Sequential logic synthesis and formal verification |
linux/aarch64 |
yosyshq-abc-debuginfo-0.39-1.20240314git0cd90d0.fc40 |
Debug information for package yosyshq-abc |
linux/aarch64 |
yosyshq-abc-debugsource-0.39-1.20240314git0cd90d0.fc40 |
Debug sources for package yosyshq-abc |
linux/aarch64 |
yosyshq-abc-devel-0.39-1.20240314git0cd90d0.fc40 |
Headers and libraries for developing with ABC |
linux/aarch64 |