Package php7-gmp: Files
Permissions | Path | Size | Date |
---|---|---|---|
-rw-r--r-- | /usr/lib64/php/7.2.34/extensions/gmp.so | 67.1 KB | Oct 7, 2020, 02:06 PM |
drwxr-xr-x | /usr/share/doc/php7-gmp-7.2.34 | 60.0 B | Oct 7, 2020, 02:06 PM |
-rw-r--r-- | /usr/share/doc/php7-gmp-7.2.34/CREDITS | 35.0 B | Sep 30, 2020, 08:03 AM |
drwxr-xr-x | /usr/share/php/7.2/extconf/gmp | 80.0 B | Oct 7, 2020, 02:06 PM |
-rw-r--r-- | /usr/share/php/7.2/extconf/gmp/config | 18.0 B | Oct 7, 2020, 02:06 PM |
-rw-r--r-- | /usr/share/php/7.2/extconf/gmp/params | 29.0 B | Oct 7, 2020, 02:06 PM |