live-image-xfce-desktop
Live System Image Components (Xfce desktop)
The Live Systems project maintains the components to build Debian based Live
systems and the official Debian Live images themselves.
wbar-config
GUI tool to configure wbar
Wbar-config is a lightweight and easy to use GUI application to customize wbar.
Among other things it is capable of changing icon size and distance and to
adjust the position of the launch bar on the screen. You can also tune
different graphical effects like transparency, color filter, zoom and jump
factor of wbar.
pamtester
utility program to test the PAM facility
Pamtester is a tiny utility program to test the pluggable authentication
modules (PAM) facility, which is a de facto standard of unified
authentication management mechanism in many unices and similar OSes
including Solaris, HP-UX, *BSD, MacOSX and Linux.
matita
interactive theorem prover
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.
sound-juicer
GNOME CD Ripper
A CD ripper for GNOME which aims to have a simple, clean, easy to use
interface.
kew
play music from the commandline
kew is a commandline music player. It supports gapless playback,
displaying album covers as ASCII art or as a normal image,
and 24-bit audio. Saving a current selection of songs as m3u is
also supported.