This is a staging site. Uploads will not persist. Testing only.
Tango icon library

tango-icon-theme

Tango icon library

This package contains the icons made by the Tango project.
Color lines game

klines

color lines game

KLines is a single-player game where the player removes colored balls from the board by arranging them into lines of five or more. However, every time the player moves a ball, three more balls are added to the board.
showing a right click + Ctrl-Shift-A

key-mon

Utility to show live keyboard and mouse status

key-mon shows on the desktop indicators of current keyboard and mouse status, and updates them live when you press keys or mouse buttons. It is very useful for teaching, live presentation and screencasts to show the user what keys/buttons you are pressing.
polynomials over Boolean Rings, GUI

polybori-gui

polynomials over Boolean Rings, GUI

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. PolyBoRi features a powerful reference implementation for Groebner basis computation.
The GNOME MUD client

gnome-mud

The GNOME MUD client

Transitional package for monitoring-plugins-contrib

nagios-plugins-contrib

Transitional package for monitoring-plugins-contrib

nagios-plugins-contrib was renamed to monitoring-plugins-contrib.