Come instalare libghc-logict-prof su Debian 9 (Stretch)