| z3-4.15.3-2.fc43 |
Satisfiability Modulo Theories (SMT) solver |
linux/aarch64 |
| z3-devel-4.15.3-2.fc43 |
Header files for building applications that use z3 |
linux/aarch64 |
| z3-doc-4.15.3-2.fc43 |
API documentation for Z3 |
linux/aarch64 |
| z3-libs-4.15.3-2.fc43 |
Library for applications that use z3 functionality |
linux/aarch64 |
| zbar-0.23.93-9.fc43 |
Bar code reader |
linux/aarch64 |
| zbar-devel-0.23.93-9.fc43 |
Bar code reader library extra development files |
linux/aarch64 |
| zbar-gtk-0.23.93-9.fc43 |
Bar code reader GTK widget |
linux/aarch64 |
| zbar-gtk-devel-0.23.93-9.fc43 |
Bar code reader GTK widget extra development files |
linux/aarch64 |
| zbar-java-0.23.93-9.fc43 |
Bar code reader Java library |
linux/aarch64 |
| zbar-libs-0.23.93-9.fc43 |
Bar code reader library |
linux/aarch64 |
| zbar-qt-0.23.93-9.fc43 |
Bar code reader Qt widget |
linux/aarch64 |
| zbar-qt-devel-0.23.93-9.fc43 |
Bar code reader Qt widget extra development files |
linux/aarch64 |
| zeitgeist-1.0.4-22.fc43 |
Framework providing Desktop activity awareness |
linux/aarch64 |
| zeitgeist-devel-1.0.4-22.fc43 |
Development files for zeitgeist |
linux/aarch64 |
| zeitgeist-libs-1.0.4-22.fc43 |
Client library for interacting with the Zeitgeist daemon |
linux/aarch64 |
| zezere-0.5.2-13.fc43 |
A provisioning service for Fedora IoT |
linux/noarch |
| zezere-ignition-0.5.2-13.fc43 |
Ignition client for Zezere |
linux/noarch |
| zinnia-0.07-7.fc43 |
Online handwriting recognition system with machine learning |
linux/aarch64 |
| zinnia-devel-0.07-7.fc43 |
Development files for zinnia |
linux/aarch64 |