Puts cara um tutorial eu acho que não tem,mais faz assim.Baixa
TDP-Cabal-repack-v2.8,diz ponivel no link abaixo ↓
agora se conecte com o seu linux 4.7
pegue as pasta dentro do repack v2.8 e jogue dentro do linux.
Agora se conecte com o putty no linux e execute o seguinte comando.
/root/cabal_install.sh
Y
agora digite
/home/cabal/cabal_config.sh
e configure normal mente.
Espero ter ajudado.