This is a staging site. Uploads will not persist. Testing only.
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.
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.
texlive-bibtex-extra
TeX Live: BibTeX additional styles
Additional BibTeX styles and bibliography data(bases), notably including
BibLaTeX.
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.
gnome-mud
The GNOME MUD client
nagios-plugins-contrib
Transitional package for monitoring-plugins-contrib
nagios-plugins-contrib was renamed to monitoring-plugins-contrib.