Sun, 05 May 2024 08:17:52 UTC | login

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

Name/etc/php.d/20-gmp.ini
Digest (sha256)1de80e283bbfe30e7e8bce86000b1696404e9b68f8bbb5703fac9fb4b5391652
Size44.00 B
Modification timeTue, 25 Jun 2019 15:03:05 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags configuration
don't replace
RPMphp-gmp-7.2.11-1.module_el8.0.0+56+d1ca79aa.i686.rpm