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.