[home_ighvh_devel-kernels]
name=Kernel with debugging enabled (OpenSuSE 42.3)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/ighvh:/devel-kernels/OpenSuSE%2042.3/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/ighvh:/devel-kernels/OpenSuSE%2042.3/repodata/repomd.xml.key
enabled=1