librte-dma-dpaa23

Data Plane Development Kit (librte-dma-dpaa runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libcoq-mathcomp-zify

Micromega arithmetic solvers for Mathematical Components

This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic.

fence-agents-dummy

Fence Agents for Red Hat Cluster - dummy agent

Red Hat Fence Agents is a collection of scripts to handle remote power management for several devices. They allow failed or unreachable nodes to be forcibly restarted and removed from the cluster.

libsbig4

Santa Barbra Instrument Group (SBIG) Universal Library Driver

The Official Santa Barbra Instrument Group (SBIG) Universal Library Driver is used by applications to access and control the USB, Parallel Port, and Ethernet versions of the CCD cameras and filter wheels including SBIG ST-7/8/9/10/2K cameras, ST-L cameras, and ST-402/1603/3200 cameras. The firmware is included for all classes of cameras.

lazarus-ide-qt5-2.2

IDE for Free Pascal - Qt version

Lazarus is an IDE to create (graphical and console) applications with Free Pascal, the (L)GPLed Pascal and Object Pascal compiler that runs on Windows, Linux, Mac OS X, FreeBSD and more.

fence-agents-eaton-snmp

Fence Agents for Red Hat Cluster - Eaton SNMP agent

Red Hat Fence Agents is a collection of scripts to handle remote power management for several devices. They allow failed or unreachable nodes to be forcibly restarted and removed from the cluster.