libcoq-gappa
Coq tactic to use Gappa for floating-point goals
This package provides a Coq tactic to discharge goals about
floating-point arithmetic and round-off errors to Gappa.
xfconf
utilities for managing settings in Xfce
xfconf contains xfconfd and xfconf-query.
- xfconfd handles the Xfce settings storage
- xfconf-query enables users to tune settings from command line
c-evo-dh-stdai
Empire Building Game (AI module), C-evo: Distant Horizon
A civilization style, turn based strategy game, of the Civ II era.
task-freedombox-blend
FreedomBox home server
This package is used to install the FreedomBox home server blend.
gosa-plugin-pwreset
Password Management Add-On for GOsa²
Password management and reset tool for GOsa². Administratively
mass-reset user passwords based on various approaches. New
passwords can be auto-generated or uploaded in CSV format.
python3-flake8-black
flake8 plugin to call black as a code style validator
This is flake8 plugin for validating Python code style with the command line
code formatting tool Black.