¿Cómo convertir archivos de audio 3gp a mp3?
Tengo un archivo de audio de 3gp grabado con mi teléfono celular Android. Me gustaría convertirlo a mp3, preferiblemente en Linux, pero Windows también es una opción. ¿Alguna recomendación?