python3-caja

Python3 binding for Caja components

Caja is the official file manager for the MATE desktop. It allows one to browse directories, preview files and launch applications associated with them. It is also responsible for handling the icons on the MATE desktop. It works on local and remote filesystems.

python3-ntp

Python 3 NTP Helper Classes

NTP, the Network Time Protocol, is used to keep computer clocks accurate by synchronizing them over the Internet or a local network, or by following an accurate hardware receiver that interprets GPS, DCF-77, or similar time signals.

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.