Add new comment

Wasare, eu tinha baixado o 0.87... mas eu acho q realmente o problema está com o libgmp3, onde este na lista do debian está como libgmp3c2. vou tentar baixar uma versão mais atual do havp e ver se funciona. se não der, o jeito é compilar mesmo :P valeu e obrigado pela ajuda!