Cómo instalar libghc-esqueleto-prof en Debian 9 (Stretch)