[himmelblau]
name=Himmelblau (amzn2023, nightly 2026-08-15-791372aad3c5)
baseurl=https://packages.himmelblau-idm.org/nightly/2026-08-15-791372aad3c5/rpm/amzn2023/
enabled=1
gpgcheck=1
repo_gpgcheck=1
gpgkey=https://packages.himmelblau-idm.org/himmelblau.asc