[AL-Server-Plus-PHP72] name=AL Server Plus PHP 7.2 para Enterprise Linux $releasever mirrorlist=http://www.alcancelibre.org/al/el$releasever/al-server-plus-php72 gpgcheck=1 gpgkey=http://www.alcancelibre.org/al/AL-RPM-KEY