Hello,

today PHP 7.2.0 was released officially.
Our packages for Debian 7/8/9 and Ubuntu 16 are now also available for download though our repositories.

Best regards

-Klaus Keppler