Como instalar libtrilinos-pamgen-dev no Debian 9 (Stretch)