При установке PHP 7.2 в Linux box, какая версия должна использоваться для curl и GMP?
Для PHP 5.4 я использовал curl 7.29 и GMP 5.1.1.