[himmelblau]
name=Himmelblau (tumbleweed, stable 3.1.5)
baseurl=https://packages.himmelblau-idm.org/stable/3.1.5/rpm/tumbleweed/
enabled=1
gpgcheck=1
repo_gpgcheck=1
gpgkey=https://packages.himmelblau-idm.org/himmelblau.asc