Contents filter
File Package Branch Repository Architecture
/etc/php7/conf.d/00_gmp.ini php7-gmp v3.12 community armhf
/usr/lib/php7/modules/gmp.so php7-gmp v3.12 community armhf