Filelist of package php5-gmp in sid of architecture armhf

/usr/lib/php5/20100525+lfs/gmp.so
/usr/share/doc/php5-gmp
/usr/share/php5/gmp/gmp.ini
/etc/php5/conf.d/gmp.ini
/usr/lib/php5/20090626+lfs/gmp.so
/usr/share/doc/php5-gmp