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.