scons

replacement for make

SCons is a make replacement providing a range of enhanced features such as automated dependency generation and built in compilation cache support. SCons rule sets are Python scripts so as well as the features it provides itself SCons allows you to use the full power of Python to control compilation.

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.