linux-support-6.7.12
Support files for Linux 6.7
This package provides support files for the Linux kernel build, e.g.
scripts to handle ABI information and for generation of build system meta
data.
libghc-ogma-extra-prof
Helper tool to interoperate between Copilot and other languages; profiling libra
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.
libcoq-mathcomp-finmap
finite sets and maps extension for Mathematical Components
This package provides an extension to manage finite sets,
finite maps and finitely supported functions extending for the
Mathematical Components library.
librte-baseband-turbo-sw22
Data Plane Development Kit (librte-baseband-turbo-sw runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
libqt6protobufqtguitypes6
Qt 6 procotol buffers Qt GUI types library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
clisp-module-fastcgi
GNU CLISP module that adds an interface to FastCGI
GNU CLISP is a Common Lisp implementation.
It conforms to the ANSI Common Lisp standard, and offers many extensions.
It runs on all desktop operating systems (GNU and Unix systems, macOS,
Windows) and is particularly memory-efficient.