Debian php 7.2 repository July 8, 2019 16 32 64 128 Install php 7.2 Php debian repo Debian repository php Php repository pattern