linux-support-6.12.20

Support files for Linux 6.12

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.

elpa-acl2

Computational Logic for Applicative Common Lisp: emacs interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

python3-overrides

Python decorator to verify that expected overrides are maintained

Provides a decorator @override that verifies that a method that should override an inherited method actually does it. Python has no standard mechanism by which to guarantee that (1) a method that previously overrode an inherited method continues to do so, and (2) a method that previously did not override an inherited will not override now. This package allows this to be addressed in an automated manner.

parsyncfp2

Multihost parallel rsync wrapper

parsyncfp2 is a tool to efficiently transfer 10s of gigabytes across a network by running several instances of rsync in parallel. It aggregates files into chunks (or partitions) of a specified size, and then transfers each chunk using parallel runs of rsync. It needs to be installed only on the source end of the transfer.

python3-lldb-17

Next generation, high-performance debugger, python3 lib

LLDB is a next generation, high-performance debugger. It is built as a set of reusable components which highly leverage existing libraries in the larger LLVM Project, such as the Clang expression parser and LLVM disassembler.

libopenzwave1.6t64

API to use a Z-Wave controller

OpenZWave is an open-source, cross-platform library designed to enable anyone to add support for Z-Wave home-automation devices to their applications, without requiring any in depth knowledge of the Z-Wave protocol.