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