mencoder: il mese scorso avrei detto anche mplayer ma almeno questo dopo lungo tempo e' entrato in debian, ho pero' il vago timore che per mencoder l'attesa non sara' tanto "breve"
non lo trovi su http://www.debian-multimedia.org?