[genode]
name=Tools to build Genode OS Framework (Fedora_44)
type=rpm-md
baseurl=https://obs.infoserver.lv/repos/genode/Fedora_44/
gpgcheck=1
gpgkey=https://obs.infoserver.lv/repos/genode/Fedora_44/repodata/repomd.xml.key
enabled=1