php-gmp: PHP gmp extension

    2025-12-16 14:22          20 etc/php.d/gmp.ini
    2025-12-16 14:22       59411 usr/lib/php/20210902/gmp.dll
    2025-12-16 14:22           0 usr/share/doc/pear/gmp/
    2025-12-16 14:22          35 usr/share/doc/pear/gmp/CREDITS
    2025-12-16 14:22        2326 var/lib/pear/.registry/.channel.pecl.php.net/gmp.reg