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.