qt6-datavis3d-doc-html
Qt 6 data visualization 3D HTML documentation
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
qt6-connectivity-doc-html
Qt 6 connectivity HTML documentation
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
postgresql-15-icu-ext
PostgreSQL extension exposing functionality from the ICU library
icu_ext is an extension to expose functionality from ICU to PostgreSQL
applications.
libcvc5parser1
automated theorem prover for SMT problems (parser runtime)
cvc5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3, CVC4) but does not directly incorporate code from any previous version
prior to CVC4.
php8.2-msgpack
PHP extension for interfacing with MessagePack
This extension provide API for communicating with MessagePack serialization.
openrct2-opensfx
Project to create a replacement for RCT2's sound effects file
A free collection of alternative sound effects from RollerCoaster
Tycoon 2 for use in OpenRCT2.