Установка PHPMyAdmin 4.x

Я пишу от имени друга. Он хочет знать, как установить PHPMyAdmin 4.x на Ubuntu 13.04. Он уже установил пакет phpmyadmin, но это версия 3.5.8. Итак, как он будет загружать и обновлять установленную версию до PHPMyAdmin 4.x.