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.

liblinux-inotify2-perl

scalable directory and file change notification

inotify (inode notify) is a Linux kernel subsystem that monitors events in filesystems and reports those events to applications in real time.

libio-async-loop-epoll-perl

Perl extension for an event loop using epoll

IO::Async::Loop::Epoll is a Perl module that provides an implementation of an event loop that uses the epoll() system call. The epoll system call, which is currently only available on Linux, scales in constant O(1) time. For many open filehandles, you will get significantly better performance using this algorithm.

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.

libopenmpt-modplug1

module music library based on OpenMPT -- modplug compat library

libopenmpt is a cross-platform C++ and C library to decode tracked music files (modules) into a raw PCM audio stream. It is based on the player code of the OpenMPT project, a descendant of the original ModPlug Tracker.