Como instalar libghc-vector-space-points-prof no Debian 9 (Stretch)