hol88
Higher Order Logic, system image
The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
libinput10
input device management and event handling library - shared library
libinput is a library that handles input devices for display servers and
other applications that need to directly deal with input devices.
grub-efi
GRand Unified Bootloader, version 2 (dummy package)
This is a dummy package that depends on the grub-efi-$ARCH package most likely
to be appropriate for each architecture.
python3-box
Python dictionaries with advanced dot notation access
Box is designed to be an easy drop in transparently replacements
for dictionaries, thanks to Python's duck typing capabilities, which
adds dot notation access. Any sub dictionaries or ones set after
initiation will be automatically converted to a Box object.
You can always run .to_dict() on it to return the object and all
sub objects back into a regular dictionary.
hgsvn
Scripts to work locally on Subversion checkouts using Mercurial
This set of scripts allows to work locally on Subversion-managed projects
using the Mercurial distributed version control system.