libkf5textautocorrectionwidgets1
KDE text handling addons - correction widget library
KTextAddons is a collection of text addons libraries developed by the KDE
community.
libquazip1-qt6-1t64
Qt/C++ wrapper over minizip - Version 1 (Qt6)
QuaZip is the C++ wrapper for Gilles Vollant's ZIP/UNZIP package (AKA
Minizip) using Trolltech's Qt library.
This package contains version 1 of the library, compiled for use with
Qt version 6.
tre-command
Tree command, improved
A replacement for tree command that uses git ls-files as source of file when
possible.
libghc-what4-prof
Solver-agnostic symbolic values support for issuing queries; profiling libraries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
libkf5textemoticonscore1
KDE text handling addons - text emoticons library
KTextAddons is a collection of text addons libraries developed by the KDE
community.
librte-crypto-dpaa2-sec22
Data Plane Development Kit (librte-crypto-dpaa2-sec runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.