skip the navigation
Packages
/etc/php5/conf.d/gmp.ini /usr/lib/php5/20090626+lfs/gmp.so /usr/share/doc/php5-gmp