Seguindo essa pergunta: Criando um pacote .deb para PHP 7.1
Eu tenho o que parece ser um pacote .deb. Aqui é um pastebin com o retorno de dpkg-deb -c /var/cache/pbuilder/result/php_7.1.7-1_amd64.deb (tempo demais para ser colocado aqui).
Mas a instalação em outra VM não funciona:
# dpkg -i php_7.1.7-1_amd64.deb
(Lecture de la base de données... 55608 fichiers et répertoires déjà installés.)
Préparation du dépaquetage de php_7.1.7-1_amd64.deb ...
Dépaquetage de php (7.1.7-1) sur (7.1.7-1) ...
Paramétrage de php (7.1.7-1) ...
# dpkg -L php
/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/php
/usr/share/doc/php/README.WIN32-BUILD-SYSTEM
/usr/share/doc/php/README.EXT_SKEL.gz
/usr/share/doc/php/README.SUBMITTING_PATCH.gz
/usr/share/doc/php/README.UNIX-BUILD-SYSTEM.gz
/usr/share/doc/php/README.TESTING.gz
/usr/share/doc/php/README.NEW-OUTPUT-API.gz
/usr/share/doc/php/copyright
/usr/share/doc/php/README.TESTING2.gz
/usr/share/doc/php/README.Debian
/usr/share/doc/php/changelog.Debian.gz
/usr/share/doc/php/README.STREAMS.gz
/usr/share/doc/php/README.input_filter.gz
/usr/share/doc/php/README.md
/usr/share/doc/php/README.SELF-CONTAINED-EXTENSIONS.gz
/usr/share/doc/php/README.MAILINGLIST_RULES
/usr/share/doc/php/README.RELEASE_PROCESS.gz
/usr/share/doc/php/README.namespaces.gz
/usr/share/doc/php/README.PARAMETER_PARSING_API.gz
/usr/share/doc/php/README.REDIST.BINS.gz
/usr/share/doc/php/README.GIT-RULES.gz
/usr/share/doc/php/NEWS.gz
(desculpe, em francês)
O PHP não está instalado em nenhum lugar. Alguém tem outra dica que possa me ajudar?