qml6-module-qtwayland-compositor
Qt 6 Wayland Compositor QML module
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
gcc-13-cross-base-ports
GCC, the GNU Compiler Collection (library base package)
This empty package contains changelog and copyright files common to
all libraries contained in the GNU Compiler Collection (GCC).
gcc-13-arc-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
This package contains files common to all languages and libraries
contained in the GNU Compiler Collection (GCC).
libspdlog1.12
Very fast C++ logging library
Features: Very fast - performance is the primary goal; Headers only; No
dependencies - just copy and use; call style using the excellent cppformat
library; ostream call style is supported too; Optional extremely fast
asynchronous mode - using lockfree queues and other tricks to reach millions
of calls/sec; Custom formatting; Multi/Single threaded loggers; Easily
extendable with custom log targets (just implement a single function in the
sink interface). Severity based filtering - threshold levels can be modified
in runtime as well as in compile time.
jbmc
bounded model checker for Java programs
JBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
libqt6qmllocalstorage6
Qt 6 QML Local Storage library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.