How to install libghc-these-prof on Debian Unstable (Sid)