$ sudo dpkg -i libmpfi0_1.5-3%7Eppa1_amd64.deb libmpfi-dev_1.5-3%7Eppa1_amd64.deb 
Seleccionando el paquete libmpfi0 previamente no seleccionado.
(Leyendo la base de datos ...  00%
325199 ficheros y directorios instalados actualmente.)
Desempaquetando libmpfi0 (de libmpfi0_1.5-3%7Eppa1_amd64.deb) ...
Seleccionando el paquete libmpfi-dev previamente no seleccionado.
Desempaquetando libmpfi-dev (de libmpfi-dev_1.5-3%7Eppa1_amd64.deb) ...
Configurando libmpfi0 (1.5-3~ppa1) ...
Configurando libmpfi-dev (1.5-3~ppa1) ...
Procesando disparadores para install-info ...
Procesando disparadores para libc-bin ...
ldconfig deferred processing now taking place