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.