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.

libkf5su-bin

runtime files for kdesu

Framework to handle super user actions.

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.