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.