Cómo instalar pasco en Debian 9 (Stretch)