Filelist of package php5-gmp in sid of architecture alpha

/usr/lib/php5/20100525/gmp.so
/usr/share/doc/php5-gmp
/usr/share/php5/gmp/gmp.ini