A solução mais fácil aqui é a atualização para o Debian 10 / Buster, já que ela já possui php7.2-curl
e as respectivas dependências por padrão.
Obviamente, atualizando para o Buster, o repositório deb.sury.org não é necessário.
Dos pacotes Debian: link