[home_smarty12_RaspberryPi_kernel-4.19]
name=kernel 4.19 for Raspberry Pi (RaspberryPi_Leap_15.0)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/smarty12:/RaspberryPi:/kernel-4.19/RaspberryPi_Leap_15.0/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/smarty12:/RaspberryPi:/kernel-4.19/RaspberryPi_Leap_15.0/repodata/repomd.xml.key
enabled=1