php-gmp: PHP gmp extension

    2020-07-21 22:26          20 etc/php.d/gmp.ini
    2020-07-21 22:27       63507 usr/lib/php/20180731/gmp.dll
    2020-07-21 22:26           0 usr/share/doc/pear/gmp/
    2020-07-21 22:26          35 usr/share/doc/pear/gmp/CREDITS
    2020-07-21 22:26        2321 var/lib/pear/.registry/.channel.pecl.php.net/gmp.reg