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