File list of package php7.2-gmp in etiona-updates of architecture amd64
/usr/lib/php/20170718/gmp.so /usr/share/bug/php7.2-gmp/control /usr/share/bug/php7.2-gmp/script /usr/share/doc/php7.2-gmp /usr/share/lintian/overrides/php7.2-gmp /usr/share/php7.2-gmp/gmp/gmp.ini