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).
libgenomicsdb0
sparse array storage library for genomics (shared libraries)
GenomicsDB is built on top of a htslib fork and an internal array storage
system for importing, querying and transforming variant data. Variant data is
sparse by nature (sparse relative to the whole genome) and using sparse array
data stores is a perfect fit for storing such data.
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.
libgensio4
abstract stream I/O (runtime files)
This library (pronounced gen'-see-oh) is used to abstract stream I/O
like serial port, TCP, telnet, UDP, SSL, IPMI SOL etc and offers a
framework for giving a consistent view of various stream (and packet)
I/O types. You create a gensio object (or a gensio), and you can use
that gensio without having to know too much about what is going on
underneath. You can stack gensio on top of another one to add protocol
funcionality. For instance, you can create a TCP gensio, stack SSL on
top of that, and stack Telnet on top of that. It supports a number of
network I/O and serial ports. Gensio can be used for sending and
receiving ports, and it also supports establishing encrypted and
authenticated connections.
libqt6wlshellintegration6
Qt 6 Wayland ShellIntegration library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.