wget http://ftp.us.debian.org/debian/pool/main/e/eigen3/libeigen3-dev_3.1.0-1_i386.deb
dpkg -i libeigen3-dev_3.1.0-1_i386.deb
rm libeigen3-dev_3.1.0-1_i386.deb
estes 3 comandos fazem por ordem:
- faça o download e armazene o pacote no caminho atual
- Instalação do mesmo pacote Remoção de
- (ignorável) do pacote de instalação
Espero que ajude você.
note: substitua o URL do pacote por qualquer versão que você precisar.
note2: o dpkg precisa de login de usuário root ou sudo.
nota 3:
há um repositório para wheezy - deb http://ftp.de.debian.org/debian wheezy main
, mas eu recomendaria a instalação apenas do pacote, não de um repo add.