Binary package “php7.2-gmp-dbgsym” in ubuntu disco

debug symbols for php7.2-gmp

Published versions