Package php7-gmp: Files
Permissions | Path | Size | Date |
---|---|---|---|
-rw-r--r-- | /usr/lib64/php/7.4.33/extensions/gmp.so | 63.0 KB | Nov 3, 2022, 05:07 PM |
drwxr-xr-x | /usr/share/doc/php7-gmp-7.4.33 | - | Nov 3, 2022, 05:07 PM |
-rw-r--r-- | /usr/share/doc/php7-gmp-7.4.33/CREDITS | 35.0 B | Oct 31, 2022, 01:35 PM |
drwxr-xr-x | /usr/share/php/7.4/extconf/gmp | - | Nov 3, 2022, 05:07 PM |
-rw-r--r-- | /usr/share/php/7.4/extconf/gmp/config | 18.0 B | Nov 3, 2022, 05:07 PM |
-rw-r--r-- | /usr/share/php/7.4/extconf/gmp/params | 29.0 B | Nov 3, 2022, 05:07 PM |