libcoq-libhyps
Tactics on hypotheses in Coq
This package provides tactics and tacticals to work
with hypotheses during a Coq proof.
libnvidia-tesla-535-ml1
NVIDIA Management Library (NVML) runtime library (Tesla 535 version)
The NVIDIA Management Library (NVML) provides a monitoring and management API.
It provides a direct access to the queries and commands exposed via nvidia-smi.
python3-devolo-plc-api
Library to interact with devolo PLC devices
This library enables communication with devolo powerline communication (PLC)
devices, supporting functionality such as device management, status
monitoring, and network configuration. Users can control aspects like Wi-Fi
settings, device discovery, and network statistics gathering. Through
structured communication with the devices, the library helps in configuring
and reading settings, including identifying device types, updating firmware,
and monitoring connected clients. It's designed to work with various devolo
devices and ensure effective management of your PLC network environment.
libphdi-utils
Parallels Hard Disk image (PHDI) format access library -- Utilities
libphdi is a library to access the Parallels Hard Disk image (PHDI) format.
libstdc++-11-pic-armel-cross
GNU Standard C++ Library v3 (shared library subset kit) (armel)
This is used to develop subsets of the libstdc++ shared libraries for
use on custom installation floppies and in embedded systems.
libnvidia-tesla-470-encode1
NVENC Video Encoding runtime library (Tesla 470 version)
The NVENC Video Encoding library provides an interface to video encoder
hardware on supported NVIDIA GPUs.