Il (ex-totem?) Lettore video propone l'installazione di gstreamer1.0-plugins-bad
, ma dopo l'installazione non c'è riproduzione, niente. Quando provo ad aprire di nuovo il file .midi, il lettore video presenta l'installazione ancora e ancora. Quindi immagino che questo non sia il pacchetto giusto.
AGGIORNAMENTO: Rythmbox non è configurato neanche per riprodurre file .midi.