[devel_languages_php_php80]
name=php 8.0 (openSUSE_Leap_15.4)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/devel:/languages:/php:/php80/openSUSE_Leap_15.4/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/devel:/languages:/php:/php80/openSUSE_Leap_15.4/repodata/repomd.xml.key
enabled=1