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.