Liste des fichiers du paquet php7.3-gmp dans buster pour l'architecture armhf
/usr/lib/php/20180731/gmp.so /usr/share/bug/php7.3-gmp/control /usr/share/bug/php7.3-gmp/script /usr/share/doc/php7.3-gmp /usr/share/lintian/overrides/php7.3-gmp /usr/share/php7.3-gmp/gmp/gmp.ini