Package php7-gmp: Files
Permissions | Path | Size | Date |
---|---|---|---|
-rw-r--r-- | /usr/lib64/php/7.3.19/extensions/gmp.so | 75.1 KB | Jun 22, 2020, 12:13 PM |
drwxr-xr-x | /usr/share/doc/php7-gmp-7.3.19 | 60.0 B | Jun 22, 2020, 12:13 PM |
-rw-r--r-- | /usr/share/doc/php7-gmp-7.3.19/CREDITS | 35.0 B | Jun 9, 2020, 10:22 AM |
drwxr-xr-x | /usr/share/php/7.3/extconf/gmp | 80.0 B | Jun 22, 2020, 12:13 PM |
-rw-r--r-- | /usr/share/php/7.3/extconf/gmp/config | 18.0 B | Jun 22, 2020, 12:13 PM |
-rw-r--r-- | /usr/share/php/7.3/extconf/gmp/params | 29.0 B | Jun 22, 2020, 12:13 PM |