ma come si installa con apt-get ?
quale repository bisogna aggiungere ?