Files
| -rw-r--r-- | 39148 | root | root | /usr/lib/php/5.2.5/extensions/gmp.so |
| drwxr-xr-x | 60 | root | root | /usr/share/doc/php5-gmp-5.2.5 |
| -rw-r--r-- | 35 | root | root | /usr/share/doc/php5-gmp-5.2.5/CREDITS |
| drwxr-xr-x | 80 | root | root | /usr/share/php/5.2.5/extconf/gmp |
| -rw-r--r-- | 18 | root | root | /usr/share/php/5.2.5/extconf/gmp/config |
| -rw-r--r-- | 29 | root | root | /usr/share/php/5.2.5/extconf/gmp/params |
