[opensuse-es] ¿Convertir midi a mp3?

Hola a todos, necesitaría convertir varios midi a mp3. No sé si es posible, he leído cosas contradictorias, y lo que he visto que dice que lo hace es para rwuindows. ¿Alguna idea para hacerlo en linux? -- Saludos. César Enfréntate a los malos; enfréntate a los crueles; enfréntate a todos, menos a los tontos. Son demasiados y siempre serás derrotado. (Proverbio hindú) --------------------------------------------------------------------- Para dar de baja la suscripción, mande un mensaje a: opensuse-es+unsubscribe@opensuse.org Para obtener el resto de direcciones-comando, mande un mensaje a: opensuse-es+help@opensuse.org