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.