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.
ocrfeeder
Document layout analysis and optical character recognition system
OCRFeeder is a document layout analysis and optical character
recognition system.
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.