Thu, 02 Dec 2021 04:26:59 UTC

Information for file /etc/php.d/20-gmp.ini

Name/etc/php.d/20-gmp.ini
Digest (sha256)393869b2a5e58fce62fdefcf30f48c551a13c807f7df046fa2ebf433230068da
Size47
Modification timeWed, 07 Jun 2017 05:06:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMphp-gmp-7.0.20-1.fc25.x86_64.rpm