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.
libxfce4ui-utils
Utility files for libxfce4ui
This package contains the Xfce settings plugin and the utility files for
libxfce4ui-2-0 which are:
- xfce4-about
soundkonverter
audio converter frontend for KDE
soundKonverter is a frontend to various audio converters.
silan
commandline tool to detect silence in audio-files
Silan is a standalone application to analyze audio files for
silence and print ranges of detected signals.