python3-pyipmi
Pure Python IPMI library
The Intelligent Platform Management Interface (IPMI) is a set of computer
interface specifications for an autonomous computer subsystem that provides
management and monitoring capabilities independently of the host system’s CPU,
firmware (BIOS or UEFI) and operating system. The python-ipmi library provides
an application programming interface (API) for using IPMI protocol within the
Python environment. This library supports IPMI version 2.0 as described in the
IPMI standard.
fonts-schraubenkiste
font for organizing screws
This fonts provides glyphs for most common screwheads, e.g torx,
Philips, Robertson and hex. It also contains size glyphs (both metric and imperial)
for specifying the screw diameter (e.g M4). Additionally, symbols for the
type of screw are provided (such as cylinder head, flat head, etc.).
arctica-greeter-remote-logon
LightDM Arctica Greeter - Remote Login Support
A greeter shell for the LightDM login manager. Arctica Greeter can be used as
local display manager as well as thin client login manager.
fragments
modern BitTorrent client for GNOME
An easy to use BitTorrent client which can be used to transfer files via
the BitTorrent peer-to-peer file-sharing protocol, such as videos, music
or installation images for Linux distributions.
gecode-flatzinc
constraint problem modelling language
FlatZinc is a low-level modelling language for constraint
problems. It is designed to be easily interfaceable to constraint
solvers (like Gecode). For more information on FlatZinc, please refer
to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.