[home_inescid]
name=INESC ID's Home Project (15.5)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/inescid/15.5/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/inescid/15.5/repodata/repomd.xml.key
enabled=1