php7.2 [platform:dpkg]

php7.2-cli [platform:dpkg]

php7.2-common [platform:dpkg]

php7.2-curl [platform:dpkg]

php7.2-gd [platform:dpkg]

php7.2-json [platform:dpkg]

php7.2-mysqlnd [platform:dpkg]

php7.2-xml [platform:dpkg]

php7.2-mbstring [platform:dpkg]

php7.2-gmp [platform:dpkg]

php7.2-ssh2 [platform:dpkg]
