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